Melis, Erica; Meier, Andreas; Siekmann, Jörg Proof planning with multiple strategies. (English) Zbl 1182.68259 Artif. Intell. 172, No. 6-7, 656-684 (2008). MSC: 68T20 68T15 PDFBibTeX XMLCite \textit{E. Melis} et al., Artif. Intell. 172, No. 6--7, 656--684 (2008; Zbl 1182.68259) Full Text: DOI
Zimmer, Jürgen; Melis, Erica Constraint solving for proof planning. (English) Zbl 1071.68093 J. Autom. Reasoning 33, No. 1, 51-88 (2004). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{J. Zimmer} and \textit{E. Melis}, J. Autom. Reasoning 33, No. 1, 51--88 (2004; Zbl 1071.68093) Full Text: DOI
Melis, E.; Siekmann, J. Knowledge-based proof planning. (English) Zbl 0939.68822 Artif. Intell. 115, No. 1, 65-105 (1999). MSC: 68T15 PDFBibTeX XMLCite \textit{E. Melis} and \textit{J. Siekmann}, Artif. Intell. 115, No. 1, 65--105 (1999; Zbl 0939.68822) Full Text: DOI