An Ordered Theory Resolution Calculus (1992)

by Peter Baumgartner
Venue:LOGIC PROGRAMMING AND AUTOMATED REASONING (PROCEEDINGS
Citations:18 - 4 self