Brinker, Christof Programming Logics, MPI for Informatics, Max Planck Society;
Brinker, C. (2000). Geometrisches Schließen mit SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.