Johann Schumann. Automated Theorem Proving in High-Quality Software Design. 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 295-312, Kluwer, 2000.
Abstract is missing.