Operational Issues in Automated Theorem Proving Using Matings (1991)

by Sunil Issar