Zohar Manna Properties of Programs and the First-Order Predicate Calculus. [Citation Graph (0, 0)][DBLP] J. ACM, 1969, v:16, n:2, pp:244-255 [Journal]
Hermann A. Maurer A Direct Proof of the Inherent Ambiguity of a Simple Context-Free Language. [Citation Graph (0, 0)][DBLP] J. ACM, 1969, v:16, n:2, pp:256-260 [Journal]
Gerald Berman Lattice Approximations to the Minima of Functions of Several Variables. [Citation Graph (0, 0)][DBLP] J. ACM, 1969, v:16, n:2, pp:286-294 [Journal]
Peter Linz Linear Multistep Methods for Volterra Integro-Differential Equations. [Citation Graph (0, 0)][DBLP] J. ACM, 1969, v:16, n:2, pp:295-301 [Journal]
Robert A. Di Paola The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. [Citation Graph (19, 0)][DBLP] J. ACM, 1969, v:16, n:2, pp:324-327 [Journal]