Viorica Sofronie-Stokkermans. Resolution-Based Decision Procedures for the Positive Theory of Some Finitely Generated Varieties of Algebras. In 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004), 19-22 May 2004, Toronto, Canada. pages 32-37, IEEE Computer Society, 2004. [doi]
Abstract is missing.