An extension of the Boyer-Moore theorem prover to support first-order quantification

• Authors:

• Matt Kaufmann

• Affiliations:

• -

• Venue:
• Journal of Automated Reasoning
• Year:
• 1992