Graph-Based Proof Procedures for Horn Clauses
by
Raatz
Paperback
details (
USA
).
ISBN: 978-0-8176-3530-5
ISBN-10: 0-8176-3530-0
Birkhäuser
· 1990
