APA (7th ed.) Citation

Galil, Z. (1974). On the complexity of resolution procedures for theorem proving.

Chicago Style (17th ed.) Citation

Galil, Zvi. On the Complexity of Resolution Procedures for Theorem Proving. Ithaca, New York, 1974.

MLA (9th ed.) Citation

Galil, Zvi. On the Complexity of Resolution Procedures for Theorem Proving. 1974.

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