SpringerLink (Online service) & Wang, D. (1997). Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers (1st ed. 1997.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/BFb0022715
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service) και Dongming Wang. Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. 1st ed. 1997. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1997. https://doi.org/10.1007/BFb0022715.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service) και Dongming Wang. Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. 1st ed. 1997. Springer Berlin Heidelberg : Imprint: Springer, 1997. https://doi.org/10.1007/BFb0022715.