OTTER experiments in a system of combinatory logic (1995)
by
Thomas Jech
| Venue: | Journal of Automated Reasoning |
| Citations: | 6 - 1 self |







