Errata to: ``Z-match: An inference rule for incrementally elaborating set instantiations

DOI10.1007/BF00885769zbMATH Open0822.68099MaRDI QIDQ1340969FDOQ1340969

Authors: 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)

This page was built for publication: Errata to: ``\(Z\)-match: An inference rule for incrementally elaborating set instantiations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1340969)