References
Pelletier, F. J.: Seventy-five problems for testing automatic theorem provers, Journal of Auto-mated Reasoning 2(1986), 191–216.
Pelletier, F. J.: Errata, Journal of Automated Reasoning 4(1988), 235–236.
Pelletier, F. J. and Sutcliffe, G.: An erratum for some errata to automated theorem proving problems, Association for Automated Reasoning Newsletter 31(1995), 8–14.
Sutcliffe, G., Suttner, C. B. and Yemenis, T.: The TPTP problem library, in A. Bundy (ed.), Proceedings of the 12th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 814, Springer-Verlag, 1994, pp. 252–266.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
PELLETIER, F.J., SUTCLIFFE, G. An Erratum for Some Errata to ATP Problems. Journal of Automated Reasoning 18, 135 (1997). https://doi.org/10.1023/A:1005764705033
Issue Date:
DOI: https://doi.org/10.1023/A:1005764705033