Additional Key Words and Phrases: convergence, correctness, equivalence, functional programs, recursive definitions, first-order logic, satisfiability, validity
Selected references
- Zohar Manna. Properties of programs and the first-order predicate calculus. Journal of the ACM, 16(2):244-255, April 1969.