{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:04Z","timestamp":1725663184763},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167808"},{"type":"electronic","value":"9783540398615"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16780-3_112","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:59:56Z","timestamp":1330196396000},"page":"470-488","source":"Crossref","is-referenced-by-count":6,"title":["Unification in the data structure sets"],"prefix":"10.1007","author":[{"given":"Wolfram","family":"B\u00fcttner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"W. B\u00fcttner \"Unification in the Datastructure Multisets\" To appear in JAR, 1986","key":"38_CR1","DOI":"10.1007\/BF00246024"},{"unstructured":"A. Clifford, G. Preston \"The Algebraic Theory of Semigroups\" Math. Surveys, vol. 1, no. 7, 1981","key":"38_CR2"},{"doi-asserted-by":"crossref","unstructured":"F. Fages \"Associative-Commutative Unification\" CADE-7, LNCS 170, 1984","key":"38_CR3","DOI":"10.1007\/978-0-387-34768-4_12"},{"doi-asserted-by":"crossref","unstructured":"A. Fortenbacher \"An Algebraic Approach to Unification under Associativity and Commutativity\" CRTA-85, Dijon, 1985","key":"38_CR4","DOI":"10.1007\/3-540-15976-2_19"},{"unstructured":"A. Herold, J. Siekmann \"Unification in Abelian Semigroups\" Seki-Research Report, Univ. of Kaiserslautern, 1985","key":"38_CR5"},{"unstructured":"M. Liversey, J. Siekmann \"Unification of Sets and Multisets\" Univ. of Karlsruhe, Techn. Report, 1976","key":"38_CR6"},{"unstructured":"G. Plotkin \"Building in Equational Theories\" Machine Intelligence, vol.7, 1972","key":"38_CR7"},{"doi-asserted-by":"crossref","unstructured":"J. Siekmann \"Universal Unification\" LNCS 170, 1984","key":"38_CR8","DOI":"10.1007\/978-0-387-34768-4_1"},{"doi-asserted-by":"crossref","unstructured":"J. Siekmann, P. Szabo \"Universal Unification\" Informatik-Fachberichte, no. 58, 1982","key":"38_CR9","DOI":"10.1007\/978-3-642-68826-3_9"},{"doi-asserted-by":"crossref","unstructured":"M. Stickel \"A Unification Algorithm for Assoc. Comm. Functions\" JACM 28, no.3, 1981","key":"38_CR10","DOI":"10.1145\/322261.322262"}],"container-title":["Lecture Notes in Computer Science","8th International Conference on Automated Deduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16780-3_112.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:31Z","timestamp":1605643891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16780-3_112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167808","9783540398615"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-16780-3_112","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}