APA (7th ed.) Citation

Colton, S. (2002). Automated theory formation in pure mathematics. Springer.

Chicago Style (17th ed.) Citation

Colton, Simon. Automated Theory Formation in Pure Mathematics. London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; Milan ; Paris ; Singapore ; Tokyo: Springer, 2002.

MLA (9th ed.) Citation

Colton, Simon. Automated Theory Formation in Pure Mathematics. Springer, 2002.