Boyer 81 (1979)

by R S Boyer, J S Moore
Venue:Proof Procedures. The Correctness Problem in Computer Science