Viorica Sofronie-Stokkermans. Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators. Journal of Symbolic Computation, 36(6):891-924, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.