The mechanization of existence proofs of recursive predicates (1984)

by K Mulmuley
Venue:Seventh Conference on Automated Deduction