APA (7th ed.) Citation

(2008). Theorem Proving Modulo Based on Boolean Equational Procedures.

Chicago Style (17th ed.) Citation

Theorem Proving Modulo Based on Boolean Equational Procedures. 2008.

MLA (8th ed.) Citation

Theorem Proving Modulo Based on Boolean Equational Procedures. 2008.

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