Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Nature America, Inc
ISSN
(Print):
0168-7433
ISSN
(Electronic):
1573-0670
Publication date Created: 1993
Publication date
(Print):
1993
Volume: 11
Issue: 2
Pages: 213-248
Article
DOI: 10.1007/BF00881906
SO-VID: 6aa8b1f4-8a72-442b-b746-fa8a2fc110b0
Copyright © ©
1993