{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:06:16Z","timestamp":1729652776488,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ismvl.2004.1319916","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"32-37","source":"Crossref","is-referenced-by-count":0,"title":["Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras"],"prefix":"10.1109","author":[{"given":"V.","family":"Sofronie-Stokkermans","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/B978-044450813-3\/50010-2","article-title":"Unification theory","volume":"1","author":"baader","year":"2001","journal-title":"Handbook of Automated Reasoning"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0009"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0426"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848641"},{"key":"6","article-title":"Natural dualities for the working algebraist","volume":"57","author":"clark","year":"1998","journal-title":"Cambridge Studies in Advanced Mathematics"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/4.3.217"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1995.1021"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00069-5"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/10721959_38"}],"event":{"name":"Proceedings. 34th International Symposium on Multiple-Valued Logic","acronym":"ISMVL-04","location":"Toronto, Ont., Canada"},"container-title":["Proceedings. 34th International Symposium on Multiple-Valued Logic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9226\/29244\/01319916.pdf?arnumber=1319916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:25:55Z","timestamp":1497594355000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319916\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/ismvl.2004.1319916","relation":{},"subject":[]}}