CITATION STYLE
Schreck, P., Narboux, J., & Richter-Gebert, J. (Eds.). (2011). Automated Deduction in Geometry (Vol. 6877). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-25070-5
Mendeley helps you to discover research relevant for your work.