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.
@inproceedings{MelisS00,
title = {Concepts in Proof Planning},
author = {Erica Melis and Jörg H. Siekmann},
year = {2000},
researchr = {https://researchr.org/publication/MelisS00},
cites = {0},
citedby = {0},
pages = {263-276},
booktitle = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)},
editor = {Steffen Hölldobler},
volume = {19},
series = {Applied Logic Series},
publisher = {Kluwer},
isbn = {0-7923-6261-6},
}