Leslie Lamport The mutual exclusion problem: part I - a theory of interprocess communication. [Citation Graph (1, 0)][DBLP] J. ACM, 1986, v:33, n:2, pp:313-326 [Journal]
Raymond Reiter A sound and sometimes complete query evaluation algorithm for relational databases with null values. [Citation Graph (23, 0)][DBLP] J. ACM, 1986, v:33, n:2, pp:349-370 [Journal]