{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:29:25Z","timestamp":1725568165792},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405597"},{"type":"electronic","value":"9783540450856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45085-6_38","type":"book-chapter","created":{"date-parts":[[2010,10,26]],"date-time":"2010-10-26T09:13:30Z","timestamp":1288084410000},"page":"442-457","source":"Crossref","is-referenced-by-count":0,"title":["Unification Modulo ACUI Plus Homomorphisms\/Distributivity"],"prefix":"10.1007","author":[{"given":"Siva","family":"Anantharaman","sequence":"first","affiliation":[]},{"given":"Paliath","family":"Narendran","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Rusinowitch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Anantharaman, S., Narendran, P., Rusinowitch, M.: Unification over ACUI plus Distributivity\/Homomorphisms, Research Report RR-2002-11, LIFO, Universit\u00e9 d\u2019Orleans (Fr.), ftp:\/\/ftp-lifo.univ-orleans.fr\/pub\/Users\/siva\/RR2002-11.ps"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Anantharaman, S., Narendran, P., Rusinowitch, M.: AC(U)ID-Unification is NEXPTIME-Decidable. To appear in Proceedings of MFCS 2003 (2003); cf. also the long version ftp:\/\/ftp-lifo.univ-orleans.fr\/pub\/Users\/siva\/RR2003-02.ps","DOI":"10.1007\/978-3-540-45138-9_11"},{"key":"38_CR3","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/S0747-7171(89)80055-0","volume":"8","author":"F. Baader","year":"1989","unstructured":"Baader, F.: Unification in Commutative Theories. Journal of Symbolic Computation\u00a08, 479\u2013497 (1989)","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"38_CR4","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1006\/jsco.2000.0426","volume":"31","author":"F. Baader","year":"2001","unstructured":"Baader, F., Narendran, P.: Unification of Concept Terms in Description Logics. Journal of Symbolic Computation\u00a031(3), 277\u2013305 (2001)","journal-title":"Journal of Symbolic Computation"},{"key":"38_CR5","series-title":"LNAI","first-page":"50","volume-title":"Automated Deduction - CADE-11","author":"F. Baader","year":"1992","unstructured":"Baader, F., Schultz, K.U.: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. In: Kapur, D. (ed.) CADE 1992. LNCS (LNAI), vol.\u00a0607, pp. 50\u201365. Springer, Heidelberg (1992)"},{"key":"38_CR6","unstructured":"Focardi, R.: Analysis and Automatic Detection of Information Flows and Network Systems. (Doctoral Thesis) Technical Report UBLCS-99-16, University of Bologna (July 1999)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Gilleron, R., Tison, S., Tommasi, M.: Set Constraints and Tree Automata. Information and Computation 149, 1\u201341 (1999); cf. also Technical Report IT 292, Laboratoire-LIFL, Lille (1996)","DOI":"10.1006\/inco.1998.2747"},{"key":"38_CR8","volume-title":"Computation: Finite and Infinite Machines","author":"M. Minsky","year":"1972","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines. Prentice-Hall International, London (1972)"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Narendran, P.: On solving linear equations over polynomial semirings. In: Proc. 11th Annual Symp. on Logic in Computer Science (LICS), NJ, July 1996, pp. 466\u2013472 (1996)","DOI":"10.1109\/LICS.1996.561463"},{"key":"38_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/BF00247671","volume":"17","author":"P. Narendran","year":"1996","unstructured":"Narendran, P., Rusinowitch, M.: Any ground associative-commutative theory has a finite canonical system. Journal of Automated Reasoning\u00a017, 131\u2013143 (1996)","journal-title":"Journal of Automated Reasoning"},{"key":"38_CR11","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"618","DOI":"10.1007\/3-540-52885-7_118","volume-title":"10th International Conference on Automated Deduction","author":"W. Nutt","year":"1990","unstructured":"Nutt, W.: Unification in Monoidal Theories. In: Stickel, M.E. (ed.) CADE 1990. LNCS (LNAI), vol.\u00a0449, pp. 618\u2013632. Springer, Heidelberg (1990)"},{"issue":"1\u20132","key":"38_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(98)00081-4","volume":"208","author":"M. Schmidt-Schauss","year":"1998","unstructured":"Schmidt-Schauss, M.: A Decision Algorithm for Distributive Unification. Theoretical Computer Science\u00a0208(1\u20132), 111\u2013148 (1998)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"38_CR13","doi-asserted-by":"publisher","first-page":"402","DOI":"10.2307\/2274856","volume":"54","author":"J. Siekmann","year":"1989","unstructured":"Siekmann, J., Szabo, P.: The Undecidability of D A -Unification Problem. Journal of Symbolic Logic\u00a054(2), 402\u2013414 (1989)","journal-title":"Journal of Symbolic Logic"},{"issue":"1\u20132","key":"38_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0747-7171(87)80026-3","volume":"3","author":"E. Tiden","year":"1987","unstructured":"Tiden, E., Arnborg, S.: Unification Problems with One-sided Distributivity. Journal of Symbolic Computation\u00a03(1\u20132), 183\u2013202 (1987)","journal-title":"Journal of Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-19"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45085-6_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T18:12:18Z","timestamp":1559758338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45085-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405597","9783540450856"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45085-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}