Pedro Quaresma, Nuno Baeta. Current Status of the I2GATP Common Format. In Francisco Botana, Pedro Quaresma, editors, Automated Deduction in Geometry - 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Volume 9201 of Lecture Notes in Computer Science, pages 119-128, Springer, 2014. [doi]
Abstract is missing.