Francis Jeffry Pelletier Geoff Sutcliffe An Erratum for Some Errata to ATP Problems. 135 1997 18 J. Autom. Reasoning 1 db/journals/jar/jar18.html#PelletierS97