{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T15:10:56Z","timestamp":1774797056581,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319115573","type":"print"},{"value":"9783319115580","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_38","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"543-557","source":"Crossref","is-referenced-by-count":5,"title":["A Library of Anti-unification Algorithms"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Baumgartner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","unstructured":"Alpuente, M., Escobar, S., Espert, J., Meseguer, J.: ACUOS: Order-sorted modular ACU generalization (2013), http:\/\/safe-tools.dsic.upv.es\/acuos\/"},{"key":"38_CR2","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., Meseguer, J., Espert, J.: A modular order-sorted equational generalization algorithm. Information and Computation\u00a0235, 98\u2013136 (2014)","journal-title":"Information and Computation"},{"issue":"3","key":"38_CR3","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1007677713969","volume":"41","author":"E. Armengol","year":"2000","unstructured":"Armengol, E., Plaza, E.: Bottom-up induction of feature terms. Machine Learning\u00a041(3), 259\u2013294 (2000)","journal-title":"Machine Learning"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-53904-2_88","volume-title":"Rewriting Techniques and Applications","author":"F. Baader","year":"1991","unstructured":"Baader, F.: Unification, weak unification, upper bound, lower bound, and generalization problems. In: Book, R.V. (ed.) RTA 1991. LNCS, vol.\u00a0488, pp. 86\u201397. Springer, Heidelberg (1991)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-662-44145-9_5","volume-title":"WoLLIC 2014.","author":"A. Baumgartner","year":"2014","unstructured":"Baumgartner, A., Kutsia, T.: Unranked second-order anti-unification. In: Kohlenbach, U. (ed.) WoLLIC 2014. LNCS, vol.\u00a08652, pp. 66\u201380. Springer, Heidelberg (2014)"},{"key":"38_CR6","unstructured":"Baumgartner, A., Kutsia, T., Levy, J., Villaret, M.: A variant of higher-order anti-unification. In: Van Raamsdonk, F. (ed.) RTA. LIPIcs, vol.\u00a021, pp. 113\u2013127. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)"},{"key":"38_CR7","unstructured":"Baumgartner, A., Kutsia, T., Levy, J., Villaret, M.: Nominal anti-unification. In: Kutsia, T., Ringeissen, C. (eds.) Proc. 28th International Workshop on Unification, UNIF 2014. RISC Technical Report Series, vol.\u00a0(14-06) (2014)"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-642-11486-1_35","volume-title":"Perspectives of Systems Informatics","author":"P.E. Bulychev","year":"2010","unstructured":"Bulychev, P.E., Kostylev, E.V., Zakharov, V.A.: Anti-unification algorithms and their applications in program analysis. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol.\u00a05947, pp. 413\u2013423. Springer, Heidelberg (2010)"},{"issue":"1","key":"38_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2005.01.008","volume":"165","author":"J. Burghardt","year":"2005","unstructured":"Burghardt, J.: E-generalization using grammars. Artif. Intell.\u00a0165(1), 1\u201335 (2005)","journal-title":"Artif. Intell."},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"De Souza Alcantara, T., Ferreira, J., Maurer, F.: Interactive prototyping of tabletop and surface applications. In: Forbrig, P., Dewan, P., Harrison, M., Luyten, K. (eds.) EICS, pp. 229\u2013238. ACM (2013)","DOI":"10.1145\/2494603.2480313"},{"issue":"3","key":"38_CR11","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF00245298","volume":"9","author":"A.L. Delcher","year":"1992","unstructured":"Delcher, A.L., Kasif, S.: Efficient parallel term matching and anti-unification. J. Autom. Reasoning\u00a09(3), 391\u2013406 (1992)","journal-title":"J. Autom. Reasoning"},{"issue":"3-5","key":"38_CR12","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M. Gabbay","year":"2002","unstructured":"Gabbay, M., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Asp. Comput.\u00a013(3-5), 341\u2013363 (2002)","journal-title":"Formal Asp. Comput."},{"key":"38_CR13","unstructured":"Gabbay, M.J.: A Theory of Inductive Definitions with alpha-Equivalence. PhD thesis, University of Cambridge, UK (2000)"},{"key":"38_CR14","unstructured":"Huet, G.: R\u00e9solution d\u2019\u00e9quations dans des langages d\u2019ordre 1,2,...,\u03c9. PhD thesis, Universit\u00e9 Paris VII (September 1976)"},{"key":"38_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-76928-6_29","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"U. Krumnack","year":"2007","unstructured":"Krumnack, U., Schwering, A., Gust, H., K\u00fchnberger, K.-U.: Restricted higher-order anti-unification for analogy making. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 273\u2013282. Springer, Heidelberg (2007)"},{"issue":"2","key":"38_CR16","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10817-013-9285-6","volume":"52","author":"T. Kutsia","year":"2014","unstructured":"Kutsia, T., Levy, J., Villaret, M.: Anti-unification for unranked terms and hedges. J. Autom. Reasoning\u00a052(2), 155\u2013190 (2014)","journal-title":"J. Autom. Reasoning"},{"key":"38_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-11503-5_10","volume-title":"Practical Aspects of Declarative Languages","author":"H. Li","year":"2010","unstructured":"Li, H., Thompson, S.: Similar code detection and elimination for Erlang programs. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 104\u2013118. Springer, Heidelberg (2010)"},{"issue":"1-4","key":"38_CR18","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1018952121991","volume":"28","author":"J. Lu","year":"2000","unstructured":"Lu, J., Mylopoulos, J., Harao, M., Hagiya, M.: Higher order generalization and its application in program verification. Ann. Math. Artif. Intell.\u00a028(1-4), 107\u2013126 (2000)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"38_CR19","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/logcom\/1.4.497","volume":"1","author":"D. Miller","year":"1991","unstructured":"Miller, D.: A logic programming language with lambda-abstraction, function variables, and simple unification. J. Log. Comput.\u00a01(4), 497\u2013536 (1991)","journal-title":"J. Log. Comput."},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"Pfenning, F.: Unification and anti-unification in the calculus of constructions. In: LICS, pp. 74\u201385. IEEE Computer Society (1991)","DOI":"10.1109\/LICS.1991.151632"},{"issue":"1","key":"38_CR21","first-page":"153","volume":"5","author":"G.D. Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalization. Machine Intel.\u00a05(1), 153\u2013163 (1970)","journal-title":"Machine Intel."},{"issue":"1","key":"38_CR22","first-page":"135","volume":"5","author":"J.C. Reynolds","year":"1970","unstructured":"Reynolds, J.C.: Transformational systems and the algebraic structure of atomic formulas. Machine Intel.\u00a05(1), 135\u2013151 (1970)","journal-title":"Machine Intel."},{"key":"38_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","DOI":"10.1007\/b12055","volume-title":"Inductive Synthesis of Functional Programs","author":"U. Schmid","year":"2003","unstructured":"Schmid, U.: Inductive Synthesis of Functional Programs. LNCS (LNAI), vol.\u00a02654. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:54:47Z","timestamp":1746377687000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}