Theorem proving via general matings (1981)

by P B Andrews
Venue:Journal of the ACM