Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka. Matrix-based Constructive Theorem Proving. In Steffen Hölldobler, editor, Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Volume 19 of Applied Logic Series, pages 189-205, Kluwer, 2000.
Abstract is missing.