Seventy-Five Problems for Testing Automatic Theorem Provers (1986)

by Francis Jeffrey Pelletier
Venue:Journal of Automated Reasoning