{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T02:05:39Z","timestamp":1782180339044,"version":"3.54.5"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,9,25]],"date-time":"2021-09-25T00:00:00Z","timestamp":1632528000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,9,25]],"date-time":"2021-09-25T00:00:00Z","timestamp":1632528000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","award":["RTI2018-094403-B-C32"],"award-info":[{"award-number":["RTI2018-094403-B-C32"]}]},{"DOI":"10.13039\/501100011596","name":"Conselleria d\u2019Educaci\u00f3, Investigaci\u00f3, Cultura i Esport","doi-asserted-by":"publisher","award":["PROMETEO\/2019\/098"],"award-info":[{"award-number":["PROMETEO\/2019\/098"]}],"id":[{"id":"10.13039\/501100011596","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1007\/s10472-021-09771-1","type":"journal-article","created":{"date-parts":[[2021,9,25]],"date-time":"2021-09-25T15:02:36Z","timestamp":1632582156000},"page":"499-522","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Order-sorted equational generalization algorithm revisited"],"prefix":"10.1007","volume":"90","author":[{"given":"Mar\u00eda","family":"Alpuente","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3550-4781","authenticated-orcid":false,"given":"Santiago","family":"Escobar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julia","family":"Sapi\u00f1a","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,25]]},"reference":[{"key":"9771_CR1","doi-asserted-by":"publisher","unstructured":"Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: A modular equational generalization algorithm. In: Hanus, M. (ed.) Logic-based program synthesis and transformation, 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, Springer, Lecture Notes in Computer Science, vol. 5438, pp 24\u201339 (2008), https:\/\/doi.org\/10.1007\/978-3-642-00515-2_3","DOI":"10.1007\/978-3-642-00515-2_3"},{"key":"9771_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.entcs.2009.07.013","volume":"246","author":"M Alpuente","year":"2009","unstructured":"Alpuente, M., Escobar, S., Meseguer, J., Ojeda, P.: Order-sorted generalization. Electr Notes Theor Comput Sci 246, 27\u201338 (2009). https:\/\/doi.org\/10.1016\/j.entcs.2009.07.013","journal-title":"Electr Notes Theor Comput Sci"},{"key":"9771_CR3","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: ACUOS: A system for modular ACU generalization with subtyping and inheritance. In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Springer-Verlag, Berlin, Lecture Notes in Computer Science, vol. 8761, pp 573\u2013581 (2014)","DOI":"10.1007\/978-3-319-11558-0_40"},{"key":"9771_CR4","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.ic.2014.01.006","volume":"235","author":"M Alpuente","year":"2014","unstructured":"Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: A modular order-sorted equational generalization algorithm. Inf. Comput. 235, 98\u2013136 (2014). https:\/\/doi.org\/10.1016\/j.ic.2014.01.006","journal-title":"Inf. Comput."},{"key":"9771_CR5","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Ballis, D., Cuenca-Ortega, A., Escobar, S., Meseguer, J.: ACUOS2: a high-performance system for modular ACU generalization with subtyping and inheritance. In: Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), Springer-Verlag, Berlin, Lecture Notes in Computer Science, vol. 11468, pp 171\u2013181 (2019)","DOI":"10.1007\/978-3-030-19570-0_11"},{"issue":"3","key":"9771_CR6","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/s11786-020-00455-3","volume":"14","author":"M Alpuente","year":"2020","unstructured":"Alpuente, M., Ballis, D., Sapi\u00f1a, J.: Efficient safety enforcement for Maude programs via program specialization in the \u00c1TAME system. Math. Comput. Sci. 14(3), 591\u2013606 (2020)","journal-title":"Math. Comput. Sci."},{"key":"9771_CR7","doi-asserted-by":"crossref","unstructured":"Alpuente, M., Cuenca-Ortega, A., Escobar, S., Meseguer, J.: A partial evaluation framework for order-sorted equational programs modulo axioms. 110: 1\u201336 (2020)","DOI":"10.1016\/j.jlamp.2019.100501"},{"key":"9771_CR8","doi-asserted-by":"publisher","unstructured":"Armengol, E.: Usages of generalization in case-based reasoning. In: Proceedings of the 7th International Conference on Case-Based Reasoning (ICCBR 2007), Springer-Verlag, Lecture Notes in Computer Science. https:\/\/doi.org\/10.1007\/978-3-540-74141-1_3, vol. 4626, pp 31\u201345 (2007)","DOI":"10.1007\/978-3-540-74141-1_3"},{"key":"9771_CR9","unstructured":"Baumgartner, A., Kutsia, T., Levy, J., Villaret, M.: Term-graph anti-unification. In: FSCD, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs, vol. 108, pp 9:1\u20139:17 (2018)"},{"key":"9771_CR10","doi-asserted-by":"publisher","unstructured":"Cerna, D.M., Kutsia, T.: Unital anti-unification: Type and algorithms. In: Ariola, Z.M. (ed.) 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, LIPIcs, vol. 167, pp 26:1\u201326:20 (2020), https:\/\/doi.org\/10.4230\/LIPIcs.FSCD.2020.26","DOI":"10.4230\/LIPIcs.FSCD.2020.26"},{"key":"9771_CR11","doi-asserted-by":"crossref","unstructured":"Dur\u00e1n, F., Lucas, S., Meseguer, J.: Termination modulo combinations of equational theories. In: Ghilardi, S., Sebastiani, R. (eds.) FroCos, Springer, Lecture Notes in Computer Science, vol. 5749, pp 246\u2013262 (2009)","DOI":"10.1007\/978-3-642-04222-5_15"},{"issue":"7-8","key":"9771_CR12","doi-asserted-by":"publisher","first-page":"898","DOI":"10.1016\/j.jlap.2012.01.002","volume":"81","author":"S Escobar","year":"2012","unstructured":"Escobar, S., Sasse, R., Meseguer, J.: Folding variant narrowing and optimal variant termination. J. Log. Algebr. Program 81(7-8), 898\u2013928 (2012)","journal-title":"J. Log. Algebr. Program"},{"key":"9771_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J Goguen","year":"1992","unstructured":"Goguen, J., Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theor. Comput. Sci. 105, 217\u2013273 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"9771_CR14","unstructured":"Huet, G.: Resolution d\u2019equations dans des langages d\u2019order 1, 2,\u2026,\u03c9. PhD thesis, Univ, Paris VII (1976)"},{"key":"9771_CR15","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F (ed.) Proceedings of 12th International Workshop on Recent Trends in Algebraic Development Techniques, WADT\u201997, Springer, LNCS, vol. 1376, pp 18\u201361 (1997)","DOI":"10.1007\/3-540-64299-4_26"},{"issue":"1-2","key":"9771_CR16","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0004-3702(99)00067-3","volume":"114","author":"S Muggleton","year":"1999","unstructured":"Muggleton, S.: Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic. Artif. Intell. 114(1-2), 283\u2013296 (1999)","journal-title":"Artif. Intell."},{"issue":"1","key":"9771_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10994-011-5274-3","volume":"87","author":"S Onta\u00f1\u00f3n","year":"2012","unstructured":"Onta\u00f1\u00f3n, S., Plaza, E.: Similarity measures over refinement graphs. Mach. Learn. 87(1), 57\u201392 (2012). https:\/\/doi.org\/10.1007\/s10994-011-5274-3","journal-title":"Mach. Learn."},{"key":"9771_CR18","unstructured":"Plotkin, G.: A note on inductive generalization. In: Machine Intelligence, vol. 5, pp 153\u2013163. Edinburgh University Press (1970)"},{"key":"9771_CR19","first-page":"135","volume":"5","author":"J Reynolds","year":"1970","unstructured":"Reynolds, J.: Transformational systems and the algebraic structure of atomic formulas. Mach. Intell. 5, 135\u2013151 (1970)","journal-title":"Mach. Intell."},{"key":"9771_CR20","unstructured":"TeReSe (ed.): Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09771-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-021-09771-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09771-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T04:46:12Z","timestamp":1673325972000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-021-09771-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,25]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,5]]}},"alternative-id":["9771"],"URL":"https:\/\/doi.org\/10.1007\/s10472-021-09771-1","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,25]]},"assertion":[{"value":"19 August 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 September 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}