Alan Bundy Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:2, pp:109-126 [Journal]
Thomas Kramer Automated Analysis of Operators on State Tables: A Technique for Intelligent Search. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:2, pp:127-153 [Journal]
David A. Plaisted A Decision Procedure for Combinations of Propositional Temporal Logic and Other Specialized Theories. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1986, v:2, n:2, pp:171-190 [Journal]