Botana, F., & Recio, T. (2007). Automated deduction in geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Botana, Francisco, và T. Recio. Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Berlin, Heidelberg: Springer, 2007.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Botana, Francisco, và T. Recio. Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Springer, 2007.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.