APA (7th ed.) Citation

Raatz, S. (1990). Graph-based proof procedures for horn clauses. Birkhaüser.

Chicago Style (17th ed.) Citation

Raatz, Stan. Graph-based Proof Procedures for Horn Clauses. Boston: Birkhaüser, 1990.

MLA (9th ed.) Citation

Raatz, Stan. Graph-based Proof Procedures for Horn Clauses. Birkhaüser, 1990.

Warning: These citations may not always be 100% accurate.