Pawel Mielniczuk;Leszek Pacholski
-;-
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Set constraints with intersection
Information and Computation - Special issue: LICS'97
Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
Journal of Symbolic Computation