A resolution framework for finitely-valued first-order logics

• Authors:

• Peter W. O'Hearn;Zbigniew Stachniak

• Affiliations:

• Syracuse Univ., Syracuse, NY;York Univ., North York, Ont., Canada

• Venue:
• Journal of Symbolic Computation
• Year:
• 1992