{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:02:41Z","timestamp":1755036161769},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00881905","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:37:28Z","timestamp":1104133048000},"page":"185-212","source":"Crossref","is-referenced-by-count":7,"title":["Competing for theAC-Unification Race"],"prefix":"10.1007","volume":"11","author":[{"given":"Alexandre","family":"Boudet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Adi, M. and Kirchner, C., ?Associative-commutative unification: The system solving approach?, in Alfonso Miola (Ed.),Proc. DISCO'90. LNCS 429, Capri, Italy, April 1990. Springer-Verlag."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Birkhoff, G., ?On the structure of abstract algebras?,Proc. Cambridge Phil. Society,31 (1935).","DOI":"10.1017\/S0305004100013463"},{"key":"CR3","volume-title":"Unification dans les m\u00e9langes de th\u00e9ories equationnelles","author":"A. Boudet","year":"1990","unstructured":"Boudet, A.,Unification dans les m\u00e9langes de th\u00e9ories equationnelles. Ph.D. thesis, Universit\u00e9 de Paris-Sud, Orsay (February 1990)."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Boudet, A., 'Unification in combinations of equational theories: An efficient algorithm, inProc. 10th Int. Conf. on Automated Deduction, Kaiserslautern. Springer-Verlag, July 1990.","DOI":"10.1007\/3-540-52885-7_95"},{"key":"CR5","unstructured":"Boudet, A., Contejean, E. and Devie, H., ?A newAC unification algorithm with a new algorithm for solving diophantine equations?, inProc. 5th IEEE Symp. Logic in Computer Science, Philadelphia, June 1990."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1016\/S0747-7171(89)80057-4","volume":"8","author":"H.-J. B\u00fcrckert","year":"1989","unstructured":"B\u00fcrckert, H.-J., ?Matching, a special case of unification??J. Symbolic Computation,8, 523?536 (1989).","journal-title":"J. Symbolic Computation"},{"issue":"4","key":"CR7","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/BF00297251","volume":"4","author":"H.-J. B\u00fcrckert","year":"1988","unstructured":"B\u00fcrckert, H.-J., H\u00e9rold, A., Kapur, D., Siekmann, J. H., Stickel, M. E., Tepp, M. and Zhang, H., ?Opening theAC-unification race?,J. Automated Reasoning,4(4), 465?474 (1988).","journal-title":"J. Automated Reasoning"},{"key":"CR8","unstructured":"Christian, J. and Lincoln, P., ?Adventures in associative-commutative unification (a summary)?, inProc. 9th Conf. on Automated Deduction, Argonne,LNCS 310. Springer-Verlag (May 1988)."},{"key":"CR9","unstructured":"Clausen, M. and Fortenbacher, A., ?Efficient solution of linear Diophantine equations?, Research Report 32\/87, Univ. Karlsruhe, November 1987."},{"key":"CR10","volume-title":"Unification et disunification: Th\u00e9orie et applications","author":"H. Comon","year":"1988","unstructured":"Comon, H.,Unification et disunification: Th\u00e9orie et applications, Th\u00e8se de Doctorat, I.N.P. de Grenoble, France (1988)."},{"issue":"1","key":"CR11","first-page":"115","volume":"313","author":"E. Contejean","year":"1991","unstructured":"Contejean, E. and Devie, H., ?R\u00e9solution de syst\u00e8mes lin\u00e9aires d'\u00e9quations Diophantiennes?,Comptes Rendus de l'Acad\u00e9mie des Sciences,313(1), 115?120 (1991).","journal-title":"Comptes Rendus de l'Acad\u00e9mie des Sciences"},{"key":"CR12","unstructured":"Corbin, J. and Bidoit, M., ?A rehabilitation of Robinson's unification algorithm?,Information Processing Letters 1983."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Dershowitz, N. and Jouannaud, J.-P.Rewrite systems, in J. van Leeuwen (ed),Handbook of Theoretical Computer Science, Vol. B, North-Holland (1990).","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Fages, F., ?Associative-commutative unification?,J. Symbolic Computation,3(3) (1987).","DOI":"10.1016\/S0747-7171(87)80004-4"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Fortenbacher, A., ?An algebraic approach to unification under associativity and commutativity?, inProc. Rewriting Techniques and Applications 85, Dijon,LNCS 202. Springer-Verlag, May 1985.","DOI":"10.1007\/3-540-15976-2_19"},{"key":"CR16","series-title":"Technical Report","volume-title":"Solving linear Diophantine equations","author":"Th. Guckenbiehl","year":"1985","unstructured":"Guckenbiehl, Th. and H\u00e9rold, A., ?Solving linear Diophantine equations?, Technical Report 85-IV-KL, SEKI, University of Kaiserslautern, Germany, 1985."},{"key":"CR17","volume-title":"Combination of unification algorithms in equational theories","author":"A. Herold","year":"1987","unstructured":"Herold, A.,Combination of unification algorithms in equational theories. Ph.D. thesis, Universit\u00e4t Kaiserslautern, Kaiserslautern, Germany, 1987."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Huet, G., ?An algorithm to generate the basis of solutions to homogeneous linear diophantine equations?,Information Processing Letters,7(3), April 1978.","DOI":"10.1016\/0020-0190(78)90078-9"},{"key":"CR19","first-page":"406","volume":"I","author":"J.-M. Hullot","year":"1979","unstructured":"Hullot, J.-M., ?Associative commutative pattern matching?, inProc. 6th IJCAI (Vol. I), Tokyo, pp. 406?412, August 1979.","journal-title":"Proc. 6th IJCAI"},{"key":"CR20","unstructured":"Jouannaud, J.-P. and Kirchner, C., in J.-L. Lassez and G. Plotkin (eds),Alan Robinson's Anniversary Book, ?Solving Equations in Abstract algebras: A rule-based survey?, MIT Press, 1990 (to appear)."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Kapur, D. and Zhang, H., ?Rll: A rewrite rule laboratory?, inProc. 9th Conf. on Automated Deduction, Argonne,LNCS 310, pp. 768?769. Springer-Verlag, 1988.","DOI":"10.1007\/BFb0012889"},{"key":"CR22","volume-title":"M\u00e9thodes et outils de conception syst\u00e9matique d'algorithmes d'unification dans les th\u00e9ories equationnelles","author":"C. Kirchner","year":"1985","unstructured":"Kirchner, C.,M\u00e9thodes et outils de conception syst\u00e9matique d'algorithmes d'unification dans les th\u00e9ories equationnelles. Th\u00e8se d'Etat, Univ. Nancy, France, 1985."},{"key":"CR23","unstructured":"Lambert, J. L., ?Une borne pour les g\u00e9n\u00e9rateurs des solutions enti\u00e8res positives d'une \u00e9quation Diophantienne lin\u00e9aire?,Comptes Rendus de l'Acad\u00e9mie des Sciences de Paris,305 (1987). S\u00e9rie I."},{"key":"CR24","unstructured":"Lankford, D., ?New non-negative integer basis algorithms for linear equations with integer coefficients?, Unpublished manuscript, 1987."},{"key":"CR25","series-title":"Research report","volume-title":"Unification of bags and sets","author":"M. Livesey","year":"1976","unstructured":"Livesey, M. and Siekmann, J., ?Unification of bags and sets?, Research report, Institut fur Informatik I, Univ. Karlsruhe, West Germany, 1976."},{"issue":"2","key":"CR26","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"Martelli, A. and Montanari, U., ?An efficient unification algorithm?,ACM Transactions on Programming Languages and Systems,4(2), 258?282 (1982).","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR27","unstructured":"Plotkin, G., ?Building in equational theories?, inMarchine Intelligence 7, Edinburgh Univ. Press, 1972."},{"issue":"1","key":"CR28","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A., ?A machine-oriented logic based on the resolution principle?,J. ACM,12(1), 23?41 (1965).","journal-title":"J. ACM"},{"key":"CR29","unstructured":"Schmidt-Schau\u00df, M., ?Unification in a combination of arbitrary disjoint equational theories?, inProc. 9th Conf. on Automated Deduction, Argonne,LNCS 310, Springer-Verlag, May 1988."},{"issue":"3","key":"CR30","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1145\/322261.322262","volume":"28","author":"M. Stickel","year":"1981","unstructured":"Stickel, M., ?A unification algorithm for associative-commutative functions?,J. ACM,28(3), 423?434 (1981).","journal-title":"J. ACM"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Vuillemin, J., ?A data structure for manipulating priority queues?,J. ACM,21(4) (1978).","DOI":"10.1145\/359460.359478"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881905.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881905\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:54:07Z","timestamp":1586044447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881905"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":31,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00881905"],"URL":"https:\/\/doi.org\/10.1007\/bf00881905","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}