{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T02:04:03Z","timestamp":1778292243009,"version":"3.51.4"},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"value":"354019343X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012843","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"358-367","source":"Crossref","is-referenced-by-count":8,"title":["Adventures in associative-commutative unification (A summary)"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Lincoln","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Christian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF00246024","volume":"2","author":"W. B\u00fcttner","year":"1986","unstructured":"Wolfram B\u00fcttner. \u201cUnification in Datastructure Multisets\u201d. Journal of Automated Reasoning, 2 (1986) 75\u201388.","journal-title":"Journal of Automated Reasoning"},{"key":"24_CR2","unstructured":"Jim Christian and Pat Lincoln \u201cAdventures in Associative-Commutative Unification\u201d MCC Technical Report Number ACA-ST-275-87, Microelectronics and Computer Technology Corp., Austin, TX, Oct 1987."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Fages. \u201cAssociative-Commutative Unification\u201d. Proceedings 7th International Conference on Automated Deduction, Springer-Verlag. Lecture Notes in Computer Science, Napa Valley, (California), 1984.","DOI":"10.1007\/978-0-387-34768-4_12"},{"key":"24_CR4","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/3-540-15976-2_19","volume":"202","author":"A. Fortenbacher","year":"1985","unstructured":"Albrecht Fortenbacher. \u201cAn Algebraic Approach to Unification Under Associativity and Commutativity\u201d Rewriting Techniques and Applications, Dijon, France, May 1985, ed Jean-Pierre Jouannaud. Springer-Verlag Lecture Notes in Computer Science Vol. 202, (1985) pp. 381\u2013397","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01442864","volume":"1","author":"P. Gordan","year":"1873","unstructured":"P. Gordan, \u201cUeber die Aufl\u00f6sung linearer Gleichungen mit reelen Coefficienten\u201d. Mathematische Annalen, VI Band, 1 Heft (1873), 23\u201328.","journal-title":"Mathematische Annalen"},{"key":"24_CR6","unstructured":"Thomas Guckenbiehl and Alexander Herold. \u201cSolving Linear Diophantine Equations\u201d. Universitat Kaiserslautern, Fachbereich Informatik, Postfach 3049, 6750 Kaiserslautern."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Huet. \u201cAn Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations\u201d. IRIA Research Report No. 274, January 1978.","DOI":"10.1016\/0020-0190(78)90078-9"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"G\u00e9rard Huet and D.C.Oppen. \u201cEquations and Rewrite Rules: a Survey\u201d. In Formal Languages: Perspectives and Open Problems, ed R. Book, Academic Press, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"24_CR9","unstructured":"J.M. Hullot. \u201cAssociative Commutative Pattern Matching\u201d. Proceedings IJCAI-79, Volume One, pp406\u2013412, Tokyo, August 1979."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Deepak Kapur, G. Sivakumar, H. Zhang. \u201cRRL: A Rewrite Rule Laboratory\u201d. Proceedings of CADE-8, pp 691\u2013692, Oxford, England, 1986.","DOI":"10.1007\/3-540-16780-3_140"},{"key":"24_CR11","unstructured":"Claude Kirchner. \u201cMethods and Tools for Equational Unification\u201d. in Proceedings of the Colloquium on the Resolution of Equations in Algebraic Structures, May 1987, Austin, Texas."},{"key":"24_CR12","unstructured":"Dallas Lankford. \u201cNew Non-negative Integer Basis Algorithms for Linear Equations with Integer Coefficients\u201d. May 1987. Unpublished. Available from the author, 903 Sherwood Drive, Ruston, LA 71270."},{"key":"24_CR13","unstructured":"M. Livesey and J. Siekmann. \u201cUnification of A + C-terms (bags) and A + C + I-terms (sets)\u201d. Intern. Ber. Nr. 5\/76, Institut f\u00fcr Informatik I, Unifersit\u00e4t Karsruhe, 1976."},{"issue":"2","key":"24_CR14","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. \u201cAn Efficient Unification Algorithm\u201d. ACM Transactions on Programming Languages and Systems, 4(2):258\u2013282, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Mark Stickel. \u201cA complete unification algorithm for associative-commutative functions\u201d Proc. 4th IJCAI, Tbilisi (1975), pp.71\u201382.","DOI":"10.21236\/ADA015846"},{"issue":"3","key":"24_CR16","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1145\/322261.322262","volume":"28","author":"M. Stickel","year":"1981","unstructured":"Mark Stickel. \u201cA Unification Algorithm for Associative-Commutative Functions\u201d. JACM, Vol.28, No.3, July 1981, pp.423\u2013434.","journal-title":"JACM"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Mark Stickel. \u201cA Comparison of the Variable-Abstraction and Constant-Abstraction methods for Associative-Commutative Unification\u201d Journal of Automated Reasoning, Sept 1987, pp.285\u2013289.","DOI":"10.1007\/BF00243792"},{"key":"24_CR18","unstructured":"Hantao Zhang \u201cAn Efficient Algorithm for Simple Diophantine Equations\u201d, Tech. Rep. 87\u201326, Dept. of Computer Science, RPI, 1987."}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:42Z","timestamp":1586579082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0012843","relation":{},"subject":[]}}