b'@inproceedings{Sofronie-Stokkermans-ismvl-2004,'b'\nTITLE = {Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras},\nAUTHOR = {Sofronie-Stokkermans, Viorica},\nLANGUAGE = {eng},\nLOCALID = {Local-ID: C1256104005ECAFC-EE93B3E7EBC0FEB3C1256E32004AA7BD-Sofronie-Stokkermans-ismvl-2004},\nPUBLISHER = {IEEE Computer Society},\nYEAR = {2004},\nDATE = {2004},\nABSTRACT = {In this paper we give resolution-based decision procedures for the positive theory of certain finitely-generated varieties of algebras. The method is based on the existence of representation theorems for such classes of algebras.},\nBOOKTITLE = {Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004)},\nPAGES = {32--37},\n}\n'