A Lattice-Theoretic Analysis of ATMS Problem Solving.

Teow-Hin Ngair, Gregory M. Provan

Browse the full ECSQARU paper archive.