{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:21Z","timestamp":1761611121658,"version":"3.30.2"},"reference-count":26,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":6419,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1996]]},"DOI":"10.1016\/s1571-0661(04)00032-5","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"35-50","source":"Crossref","is-referenced-by-count":48,"special_numbering":"C","title":["ELAN"],"prefix":"10.1016","volume":"4","author":[{"given":"Peter","family":"Borovansk\u00fd","sequence":"first","affiliation":[]},{"given":"Claude","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"H\u00e9l\u00e8ne","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"Pierre-Etienne","family":"Moreau","sequence":"additional","affiliation":[]},{"given":"Marian","family":"Vittek","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB1","doi-asserted-by":"crossref","unstructured":"I. Alouini and C. Kirchner. Toward the concurrent implementation of computational systems. In M. Hanus, editor, Proceedings of ALP'96, Lecture Notes in Computer Science, Aachen (Germany), September 1996. Springer-Verlag.","DOI":"10.1007\/3-540-61735-3_1"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB2","doi-asserted-by":"crossref","unstructured":"I. Alouini. Concurrent garbage collection for concurrent rewriting. In J. Hsiang, editor, Proceedings 6th Conference on Rewriting Techniques and Applications, Kaiserslautern (Germany), volume 914 of Lecture Notes in Computer Science, pages 132\u2013146. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_53"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB3","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00039-8"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB4","doi-asserted-by":"crossref","unstructured":"P. Borovansk\u00fd. Implementation of higher-order unification based on calculus of explicit substitutions. In M. Barto\u0161ek, J. Staudek, and J. Wiedermann, editors, Proceedings of the SOFSEM'95: Theory and Practice of Informatics, volume 1012 of Lecture Notes in Computer Science, pages 363\u2013368. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60609-2_18"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB5","doi-asserted-by":"crossref","unstructured":"F. Baader and K. U. Schulz. Combination of constraint solving techniques: An algebraic point of view. In J. Hsiang, editor, Rewriting Techniques and Applications, 6th International Conference, RTA-95, LNCS 914, pages 352\u2013366, Kaiserslautern, Germany, April 5\u20137, 1995. Springer-Verlag.","DOI":"10.1007\/3-540-59200-8_69"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB6","doi-asserted-by":"crossref","unstructured":"C. Castro. Solving Binary CSP using Computational Systems. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00042-8"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB7","unstructured":"M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of MauJe. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science."},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB8","doi-asserted-by":"crossref","unstructured":"G. Dowek, T. Hardin, and C. Kirchner. Higher-order unification via explicit substitutions, extended abstract. In D. Kozen, editor, Proceedings of LICS'95, pages 366\u2013374, San Diego, June 1995.","DOI":"10.1109\/LICS.1995.523271"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB9","unstructured":"G. Dowek, T. Hardin, C. Kirchner, and F. Pfenning. Unification via explicit substitutions: The case of higher-order patterns. In M. Maher, editor, Proceedings of JICSLP'96, Bonn (Germany), September 1996. The MIT press."},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB10","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, C. Kirchner, H. Kirchner, A. M\u00e9grelis, J. Meseguer, and T. Winkler. An introduction to OBJ-3. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Orsay (France), volume 308 of Lecture Notes in Computer Science, pages 258\u2013263. Springer-Verlag, July 1987. Also as internal report CRIN: 88-R-001.","DOI":"10.1007\/3-540-19242-5_22"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB11","series-title":"Computational Logic. Essays in honor of Alan Robinson, chapter 8","first-page":"257","article-title":"Solving equations in abstract algebras: a rule-based survey of unification","author":"Jouannaud","year":"1991"},{"issue":"3","key":"10.1016\/S1571-0661(04)00032-5_NEWBIB12","first-page":"9","article-title":"Deduction with symbolic constraints","volume":"4","author":"Kirchner","year":"1990","journal-title":"Revue d'Intelligence Artificielle"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB13","series-title":"Principles and Practice of Constraint Programming. The Newport Papers","first-page":"131","article-title":"Designing constraint logic programming languages using computational systems","author":"Kirchner","year":"1995"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB14","unstructured":"C. Kirchner, H. Kirchner, and M. Vittek. ELAN V 1.17 User Manual. Inria Lorraine & Crin, Nancy (France), first edition, November 1995."},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB15","doi-asserted-by":"crossref","unstructured":"H. Kirchner, and P.-E. Moreau. Prototyping completion with constraints using computational systems. In J. Hsiang, editor, Proceedings 6th Conference on Rewriting Techniques and Applications, Kaiserslautern (Germany), volume 914 of Lecture Notes in Computer Science, pages 438\u2013443. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_79"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB16","doi-asserted-by":"crossref","unstructured":"H. Kirchner, and P.-E. Moreau. A reflective extension of ELAN. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)00038-6"},{"issue":"2","key":"10.1016\/S1571-0661(04)00032-5_NEWBIB17","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1006\/jsco.1994.1040","article-title":"Combining symbolic constraint solvers on algebraic domains","volume":"18","author":"Kirchner","year":"1994","journal-title":"Journal of Symbolic Computation"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB18","doi-asserted-by":"crossref","unstructured":"C. Kirchner and P. Viry. Implementing parallel rewriting. In P. Deransart and J. Maluszynski, editors, Proceedings of PLILP'90, volume 456 of Lecture Notes in Computer Science, pages 1\u201315, Link\u00f6ping (Sweden), August 1990. Springer-Verlag.","DOI":"10.1007\/BFb0024172"},{"issue":"1","key":"10.1016\/S1571-0661(04)00032-5_NEWBIB19","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model of concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB20","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory, August 1993. To appear in D. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Publishers."},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB21","unstructured":"J.-F. Puget and M. Leconte. Beyond the black box,: Constraints as objects. In J. Loyd, editor, Proceedings of the International Logic Programming Symposium, pages 513\u2013527. The MIT press, 1995."},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB22","doi-asserted-by":"crossref","DOI":"10.1006\/inco.1996.9995","article-title":"Combination of matching algorithms","author":"Ringeissen","year":"1996","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB23","doi-asserted-by":"crossref","unstructured":"C. Ringeissen. Prototyping combination of unification algorithms with ELAN. Technical report, CRIN, 1996.","DOI":"10.1007\/3-540-62950-5_81"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB24","doi-asserted-by":"crossref","unstructured":"P. Viry. Input\/output for rule based languages. Technical report, Universita di Pisa, 1996.","DOI":"10.1016\/S1571-0661(04)00033-7"},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB25","unstructured":"M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes. Th\u00e8se de Doctorat d'Universit\u00e9, Universit\u00e9 Henri Poincar\u00e9 \u2013 Nancy 1, October 1994."},{"key":"10.1016\/S1571-0661(04)00032-5_NEWBIB26","doi-asserted-by":"crossref","unstructured":"M. Vittek. A compiler for nondeterministic term rewriting systems. In H. Ganzinger, editor, Proceedings of RTA'96, volume 1103 of Lecture Notes in Computer Science, pages 154\u2013168, New Brunswick (New Jersey), July 1996. Springer-Verlag.","DOI":"10.1007\/3-540-61464-8_50"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104000325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T01:42:35Z","timestamp":1734226955000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104000325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":26,"alternative-id":["S1571066104000325"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00032-5","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[1996]]}}}