N. Stojanovic, und L. Stojanovic. EGOV (Workshops and Posters), Volume 13 von Schriftenreihe Informatik, Seite 3-10. Universitätsverlag Rudolf Trauner, Linz, Austria, (2005)
S. Stojanovic, V. Pavlovic, und P. Janicic. Automated Deduction in Geometry, Volume 6877 von Lecture Notes in Computer Science, Seite 201-220. Springer, (2010)