Graph-Based Proof Procedures for Horn Clauses
Publisher: Birkhäuser Boston
Published: 2014
Language: eng
ISBN-13: 9781489935571