![](/img/cover-not-exists.png)
An equational approach to theorem proving in first-order predicate calculus
Kapur, Deepak, Narendran, PaliathVolume:
10
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1012497.1012521
Date:
August, 1985
File:
PDF, 446 KB
1985