Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
scientific article; zbMATH DE number 2076999
scientific article