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 × Cite Format Result Cite Review PDF Full Text: DOI
Melis, Erica; Whittle, Jon Analogy in inductive theorem proving. (English) Zbl 0929.03019 J. Autom. Reasoning 22, No. 2, 117-147 (1999). Reviewer: N.Ţăndăreanu (Craiova) MSC: 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Melis, Erica The Heine-Borel challenge problem. In honor of Woody Bledsoe. (English) Zbl 0893.68136 J. Autom. Reasoning 20, No. 3, 255-282 (1998). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI