Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators.
J. Symb. Comput. Bd. 36. H. 6. 2003 S. 891 - 924
Erscheinungsjahr: 2003
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1016/S0747-7171(03)00069-5
Geprüft | Bibliothek |