@misc(akopyan-pseudo,
 author       = {Arseniy V. Akopyan},
 year         = {2011},
 title        = {On some classical constructions extended to hyperbolic geometry},
 eprint       = {1105.2153},
)
@article(hyperbolic-instruments,
 author       = {Al-Dhahir, MW},
 year         = {1962},
 title        = {An instrument in hyperbolic geometry},
 journal      = {Proceedings of the American Mathematical Society},
 volume       = {13},
 number       = {2},
 pages        = {298--304},
 doi          = {10.4153/CJM-1956-043-0},
)
@article(groebner,
 author       = {Bruno Buchberger},
 year         = {2006},
 title        = {An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal},
 journal      = {Journal of Symbolic Computation},
 volume       = {41},
 number       = {3},
 pages        = {475--511},
 doi          = {10.1016/j.jsc.2005.09.007},
)
@book(coxeter,
 author       = {H. S. M. Coxeter},
 year         = {1957},
 title        = {Non-euclidean geometry},
 publisher    = {Univ. of Toronto Press},
 address      = {Toronto},
 doi          = {10.3138/9781442653207},
)
@article(gaochou,
 author       = {Xiao-Shan Gao and Shang-Ching Chou},
 year         = {1998},
 title        = {Solving geometric constraint systems. {II}. {A} symbolic approach and decision of {RC}-constructibility.},
 journal      = {Computer Aided Design},
 volume       = {30},
 number       = {2},
 pages        = {115--122},
 doi          = {10.1016/S0010-4485(97)00055-9},
)
@inproceedings(gulwani,
 author       = {Sumit Gulwani and Vijay Anand Korthikanti and Ashish Tiwari},
 year         = {2011},
 title        = {Synthesizing Geometry Constructions},
 booktitle    = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
 pages        = {50--61},
 doi          = {10.1145/1993498.1993505},
)
@article(handest,
 author       = {F. Handest},
 year         = {1956},
 title        = {Constructions in hyperbolic geometry},
 journal      = {Ca\IeC{\~n}ad. J. Math.},
 volume       = {8},
 pages        = {389--394},
 doi          = {10.4153/CJM-1956-043-0},
)
@article(gclc-jar,
 author       = {Jani\v{c}i\'c, Predrag},
 year         = {2010},
 title        = {{Geometry Constructions Language}},
 journal      = {Journal of Automated Reasoning},
 volume       = {44},
 number       = {1-2},
 pages        = {3--24},
 doi          = {10.1007/s10817-009-9135-8},
)
@inproceedings(Marinkovic12,
 author       = {Vesna Marinkovi\'c and Jani\v{c}i\'c, Predrag},
 year         = {2012},
 title        = {Towards Understanding Triangle Construction Problems},
 booktitle    = {Intelligent Computer Mathematics - CICM 2012},
 series       = {Lecture Notes in Computer Science},
 volume       = {7362},
 pages        = {126--141},
 doi          = {10.2307/2690164},
)
@article(argotrics,
 author       = {Marinkovi\IeC{\'c}, Vesna},
 year         = {2017},
 title        = {{A}rgo{T}ri{C}{S} -- Automated Triangle Construction Solver},
 journal      = {Journal of Experimental \& Theoretical Artificial Intelligence},
 volume       = {29},
 number       = {2},
 pages        = {247--271},
 doi          = {10.2307/2690164},
)
@inproceedings(GATPFormalization,
 author       = {Mari\IeC{\'c}, Filip and Petrovi\IeC{\'c}, Ivan and Petrovi\IeC{\'c}, Danijela and Jani\IeC{\v c}i\IeC{\'c}, Predrag},
 year         = {2012},
 title        = {Formalization and Implementation of Algebraic Methods in Geometry},
 booktitle    = {{\rm Proceedings First Workshop on} CTP Components for Educational Software},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {79},
 pages        = {63--81},
 doi          = {10.4204/EPTCS.79.4},
)
@article(milnor,
 author       = {John Milnor},
 year         = {1982},
 title        = {Hyperbolic geometry: The first 150 years},
 journal      = {Bulletin of the American Mathematical Society},
 volume       = {6},
 pages        = {9--24},
 doi          = {10.2307/1971277},
)
@article(mb-lobacevski,
 author       = {Mordoukhay-Boltovskoy, D.D.},
 year         = {1927},
 title        = {About geometrical constructions in {L}obacevski\v i space (in {R}ussian)},
 journal      = {JFM 53.0592.01},
 pages        = {67--82},
)
@article(pambuccian-survey,
 author       = {Victor Pambuccian},
 year         = {2008},
 title        = {Axiomatizing geometric constructions},
 journal      = {Journal of Applied Logic},
 volume       = {6},
 number       = {1},
 pages        = {24--46},
 doi          = {10.1016/j.jal.2007.02.001},
)
@phdthesis(proge,
 author       = {Pascal Schreck},
 year         = {1993},
 title        = {Constructions \IeC{\`a} la r\IeC{\`e}gle et au compas},
 school       = {University of Strasbourg},
)
@article(schreck-mechanization,
 author       = {Pascal Schreck},
 year         = {2019},
 title        = {On the Mechanization of Straightedge and Compass Constructions},
 journal      = {Journal of Systems Science and Complexity},
 volume       = {32},
 pages        = {124--149},
 doi          = {10.1007/s11786-016-0255-3},
)
@article(wernick-final-update,
 author       = {Pascal Schreck and Pascal Mathis and Marinkovi\IeC{\'c}, Vesna and Jani\IeC{\v c}i\IeC{\'c}, Predrag},
 year         = {2016},
 title        = {Wernick's List: A Final Update},
 journal      = {Forum Geometricorum},
 volume       = {16},
 pages        = {69--80},
)
@article(wernick-corpus,
 author       = {William Wernick},
 year         = {1982},
 title        = {Triangle Constructions with Three Located Points},
 journal      = {Mathematics Magazine},
 volume       = {55},
 number       = {4},
 pages        = {227--230},
 doi          = {10.1080/0025570X.1985.11976988},
)
@article(wu,
 author       = {Wen Tsun Wu},
 year         = {1978},
 title        = {On the Decision Problem and the Mechanization of Theorem-proving in Elementary Geometry},
 journal      = {Scientia Sinica},
 volume       = {21},
 number       = {2},
 pages        = {159--172},
 doi          = {10.1142/9789812791085\_0008},
)