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)
D. Anicic, S. Rudolph, P. Fodor, und N. Stojanovic. Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications, Seite 138--153. Berlin, Heidelberg, Springer-Verlag, (2011)