Erica Melis, Jörg H. Siekmann. Concepts in Proof Planning. 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 263-276, Kluwer, 2000.
Abstract is missing.