Francis Jeffry Pelletier, Geoff Sutcliffe. An Erratum for Some Errata to ATP Problems. Journal of Automated Reasoning, 18(1):135, 1997.
@article{PelletierS97,
title = {An Erratum for Some Errata to ATP Problems},
author = {Francis Jeffry Pelletier and Geoff Sutcliffe},
year = {1997},
researchr = {https://researchr.org/publication/PelletierS97},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {18},
number = {1},
pages = {135},
}