https://animalistas.info/26261341-automated-deduction-in-geometry-8th-international-workshop-adg-2010-munich-germany-july-22-24-2010-revised-papers-by-jurgen-richter-gebert.html