- Zohar Manna. Properties of
programs and the first-order predicate calculus. Journal of
the ACM, 16(2):244-255, April 1969.
References,
Citations,
etc.
- Zohar Manna and Amir Pnueli. Formalization of properties of
functional programs. Journal of the ACM, 17(3):555-569,
July 1970.
References,
etc.
- Edward Ashcroft, Zohar Manna, and Amir Pnueli. Decidable properties of monadic
functional schemas. Journal of the ACM, 20(3):489-499,
July 1973.
References,
Citations,
etc.
- Zohar Manna and Richard Waldinger. Special relations in automated
deduction. Journal of the ACM, 33(1):1-59, January
1986.
- Martín Abadi and Zohar Manna. Nonclausal deduction in first-order
temporal logic. Journal of the ACM, 37(2):279-317,
April 1990.
Citations.
Shortcuts: