Teow-Hin Ngair, Gregory M. Provan. A Lattice-Theoretic Analysis of ATMS Problem Solving. In Michael Clarke, Rudolf Kruse, Serafín Moral, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 93, Granada, Spain, November 8-10, 1993, Proceedings. Volume 747 of Lecture Notes in Computer Science, pages 282-289, Springer, 1993.
Abstract is missing.