Volume 33, Number 1, January 1986
: Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.
Volume 33, Number 2, April 1986
: The mutual exclusion problem: part I - a theory of interprocess communication.
: The mutual exclusion problem: partII - statement and solutions.
: A sound and sometimes complete query evaluation algorithm for relational databases with null values.
Volume 33, Number 3, July 1986
Francis Y. L. Chin
: Security problems on inference control for SUM, MAX, and MIN queries.
: A note on the height of binary search trees.
: Improved methods for storing and updating information in the out-of-kilter algorithm.
Volume 33, Number 4, October 1986
Dennis de Champeaux
: Subproblem finder and instance checker, two cooperating modules for theorem provers.
W. Eric L. Grimson
: The combinatorics of local constraints in model-based recognition and localization from sparse data.