Erica Melis. AI-Techniques in Proof Planning. In ECAI. pages 494-498, 1998.
@inproceedings{Melis98,
title = {AI-Techniques in Proof Planning},
author = {Erica Melis},
year = {1998},
researchr = {https://researchr.org/publication/Melis98},
cites = {0},
citedby = {0},
pages = {494-498},
booktitle = {ECAI},
}