000 00299nam a22000977a 4500
008 231017b |||||||| |||| 00| 0 eng d
040 _aNational Science Library
_cNational Science Library
245 _aJournal of automated reasoning
260 _aDordrecht:
_bKluwer Academic Publishers,
942 _cCR
999 _c62788
_d62788