Raatz

Raatz is the author of books such as Graph-Based Proof Procedures For Horn Clauses.