Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras.
ISMVL. 2004 S. 32 - 37
Erscheinungsjahr: 2004
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1109/ISMVL.2004.1319916
Geprüft | Bibliothek |