@article{melis1999knowledge, title={Knowledge-based proof planning}, author={Melis, Erica and Siekmann, J{\"o}rg}, journal={Artificial Intelligence}, volume={115}, number={1}, pages={65--105}, year={1999}, publisher={Elsevier} }