Francis Jeffry Pelletier. The Philosophy of Automated Theorem Proving. In IJCAI. pages 1039-1045, 1991.
@inproceedings{Pelletier91,
title = {The Philosophy of Automated Theorem Proving},
author = {Francis Jeffry Pelletier},
year = {1991},
researchr = {https://researchr.org/publication/Pelletier91},
cites = {0},
citedby = {0},
pages = {1039-1045},
booktitle = {IJCAI},
}