(2008). Theorem Proving Modulo Based on Boolean Equational Procedures.
Chicago Style (17th ed.) CitationTheorem Proving Modulo Based on Boolean Equational Procedures. 2008.
MLA (8th ed.) CitationTheorem Proving Modulo Based on Boolean Equational Procedures. 2008.
Warning: These citations may not always be 100% accurate.