The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover.

Robert S. Boyer J. Strother Moore The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover. 117-172 1988 4 J. Autom. Reasoning 2 db/journals/jar/jar4.html#BoyerM88