Volume 97, Number 1, 1992
: A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses.
: Extension of Combinatory Logic to a Theory of Combinatory Representation.
: A Slight Strengthening of a Theorem of Blair and Kunen.
Volume 97, Number 2, 1992
Mark W. Krentel
: Generalizations of Opt P to the Polynomial Hierarchy.
: Nivat's Theorem for Pushdown Transducers.