Christoph Kreitz Jens Otten Stephan Schmitt Brigitte Pientka Matrix-based Constructive Theorem Proving. 189-205 2000 conf/birthday/Bibel2000 Intellectics and Computational Logic db/conf/birthday/bibel2000.html#KreitzOSP00