The addition of bounded quantification and partial functions to a computational logic and its theorem prover (0)

by Robert S Boyer, J Strother Moore
Venue:Journal of Automated Reasoning