APA Style

Automated Deduction In Geometry. (). : .

Chicago Style

Automated Deduction In Geometry. . : , . Text.

MLA Style

Automated Deduction In Geometry. . : , . Text.

Turabian Style

Automated Deduction In Geometry. : , . Print.