Selected papers that cite this one
- Alfred V. Aho and Jeffrey D. Ullman. Optimization of straight line programs. SIAM Journal on Computing, 1(1):1-19, March 1972.
- Edward Ashcroft, Zohar Manna, and Amir Pnueli. Decidable properties of monadic functional schemas. Journal of the ACM, 20(3):489-499, July 1973.
- Zohar Manna. Properties of programs and the first-order predicate calculus. Journal of the ACM, 16(2):244-255, April 1969.
- Raymond E. Miller. Some undecidability results for parallel program schemata. SIAM Journal on Computing, 1(1):119-129, March 1972.