DOI10.1007/BF00885769zbMath0822.68099MaRDI QIDQ1340969
Sidney C. Bailin, Dave Barker-Plummer
Publication date: 21 December 1994 Published in: Journal of Automated Reasoning (Search for Journal in Brave)
zbMATH Keywords
automated reasoninginference ruleinstantiations
Mathematics Subject Classification ID
Mechanization of proofs and logical operations (03B35)