(1)
Alvin, C.; Gulwani, S.; Majumdar, R.; Mukhopadhyay, S. Synthesis of Geometry Proof Problems. AAAI 2014, 28.