APA Style

BOTANA, F., QUARESMA, P. (2015). Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers . Cham: .

MLA Style

BOTANA, Francisco., QUARESMA, Pedro. "Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers". Cham: , 2015. Text.