APA (7th ed.) Citation

Chaieb, A. (2008). Automated methods for formal proofs in simple arithmetics and algebra.

Chicago Style (17th ed.) Citation

Chaieb, Amine. Automated Methods for Formal Proofs in Simple Arithmetics and Algebra. 2008.

MLA (9th ed.) Citation

Chaieb, Amine. Automated Methods for Formal Proofs in Simple Arithmetics and Algebra. 2008.

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