Ida. (2013). Automated Deduction in Geometry (1.). Springer Berlin Heidelberg.
Cita Chicago (17th ed.)Ida. Automated Deduction in Geometry. 1. Springer Berlin Heidelberg, 2013.
Cita MLA (8th ed.)Ida. Automated Deduction in Geometry. 1. Springer Berlin Heidelberg, 2013.
Atenció: Aquestes cites poden no estar 100% correctes.