The Resolution Calculus
Publisher: Springer
Published: Oct 17, 2011
Format: paperback
Number of pages: 316
ISBN-13: 9783642606069