Tractable Constraints in Finite Semilattices.

Jakob Rehof, Torben . Mogensen

Browse the full SAS paper archive.