Erica Melis Jörg H. Siekmann Knowledge-Based Proof Planning. 65-105 1999 115 Artif. Intell. 1 db/journals/ai/ai115.html#MelisS99 http://dx.doi.org/10.1016/S0004-3702(99)00076-4