{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T07:53:24Z","timestamp":1791446004878,"version":"4.3.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032048479","type":"print"},{"value":"9783032048486","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-04848-6_5","type":"book-chapter","created":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T11:58:41Z","timestamp":1757678321000},"page":"75-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Higher-Order Pattern Unification Modulo Similarity Relations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4754-4163","authenticated-orcid":false,"given":"Besik","family":"Dundua","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4084-7380","authenticated-orcid":false,"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,9,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/J.FSS.2019.03.019","volume":"391","author":"H A\u00eft-Kaci","year":"2020","unstructured":"A\u00eft-Kaci, H., Pasi, G.: Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach. Fuzzy Sets Syst. 391, 1\u201346 (2020). https:\/\/doi.org\/10.1016\/J.FSS.2019.03.019","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR2","unstructured":"Barendregt, H., Manzonetto, G.: A Lambda Calculus Satellite. College Publications (2022)"},{"issue":"8","key":"5_CR3","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N Dershowitz","year":"1979","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. ACM 22(8), 465\u2013476 (1979). https:\/\/doi.org\/10.1145\/359138.359142","journal-title":"Commun. ACM"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Dowek, G.: Higher-order unification and matching. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning (in 2 volumes), pp. 1009\u20131062. Elsevier and MIT Press (2001). https:\/\/doi.org\/10.1016\/B978-044450813-3\/50018-7","DOI":"10.1016\/B978-044450813-3\/50018-7"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Dundua, B., Kutsia, T.: Higher-order pattern unification modulo similarity relations. CoRR arxiv:2507.13208 (2025). https:\/\/doi.org\/10.48550\/ARXIV.2507.13208","DOI":"10.48550\/ARXIV.2507.13208"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Dundua, B., Kutsia, T., Marin, M., Pau, C.: Constraint solving over multiple similarity relations. In: Ariola, Z.M. (ed.) 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Paris, France (Virtual Conference), 29 June\u20136 July 2020. LIPIcs, vol.\u00a0167, pp. 30:1\u201330:19. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPICS.FSCD.2020.30","DOI":"10.4230\/LIPICS.FSCD.2020.30"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Ehling, G., Kutsia, T.: Solving quantitative equations. In: Benzm\u00fcller, C., Heule, M.J.H., Schmidt, R.A. (eds.) Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, 3\u20136 July 2024, Proceedings, Part II. Lecture Notes in Computer Science, vol. 14740, pp. 381\u2013400. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-63501-4_20","DOI":"10.1007\/978-3-031-63501-4_20"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Fontana, F.A., Formato, F.: Likelog: a logic programming language for flexible data retrieval. In: Bryant, B.R., Lamont, G.B., Haddad, H., Carroll, J.H. (eds.) Proceedings of the 1999 ACM Symposium on Applied Computing, SAC\u201999, San Antonio, Texas, USA, 28 February\u20132 March 1999, pp. 260\u2013267. ACM (1999). https:\/\/doi.org\/10.1145\/298151.298348","DOI":"10.1145\/298151.298348"},{"issue":"9","key":"5_CR9","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1002\/int.10067","volume":"17","author":"FA Fontana","year":"2002","unstructured":"Fontana, F.A., Formato, F.: A similarity-based resolution rule. Int. J. Intell. Syst. 17(9), 853\u2013872 (2002). https:\/\/doi.org\/10.1002\/int.10067","journal-title":"Int. J. Intell. Syst."},{"key":"5_CR10","unstructured":"Formato, F., Gerla, G., Sessa, M.I.: Extension of logic programming by similarity. In: Meo, M.C., Vilares Ferro, M. (eds.) 1999 Joint Conference on Declarative Programming, AGP\u201999, L\u2019Aquila, Italy, 6\u20139 September 1999, pp. 397\u2013410 (1999)"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"393","DOI":"10.3233\/FI-2000-41402","volume":"41","author":"F Formato","year":"2000","unstructured":"Formato, F., Gerla, G., Sessa, M.I.: Similarity-based unification. Fund. Inf. 41(4), 393\u2013414 (2000). https:\/\/doi.org\/10.3233\/FI-2000-41402","journal-title":"Fund. Inf."},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Guerrero, J.A., Moreno, G., Riaza, J.A., Sanchez, J.: Smart design of similarity relations for fuzzy logic programming environments. In: IEEE Symposium Series on Computational Intelligence, SSCI 2018, Bangalore, India, 18\u201321 November 2018, pp. 220\u2013227. IEEE (2018). https:\/\/doi.org\/10.1109\/SSCI.2018.8628871","DOI":"10.1109\/SSCI.2018.8628871"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/J.IJAR.2020.06.002","volume":"125","author":"P Juli\u00e1n Iranzo","year":"2020","unstructured":"Juli\u00e1n Iranzo, P., Moreno, G., Riaza, J.A.: The fuzzy logic programming language FASILL: design and implementation. Int. J. Approx. Reason. 125, 139\u2013168 (2020). https:\/\/doi.org\/10.1016\/J.IJAR.2020.06.002","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/J.FSS.2023.03.013","volume":"465","author":"P Juli\u00e1n Iranzo","year":"2023","unstructured":"Juli\u00e1n Iranzo, P., Moreno, G., Riaza, J.A.: Some properties of substitutions in the framework of similarity relations. Fuzzy Sets Syst. 465, 108510 (2023). https:\/\/doi.org\/10.1016\/J.FSS.2023.03.013","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.fss.2014.07.006","volume":"262","author":"P Juli\u00e1n-Iranzo","year":"2015","unstructured":"Juli\u00e1n-Iranzo, P., Rubio-Manzano, C.: Proximity-based unification theory. Fuzzy Sets Syst. 262, 21\u201343 (2015). https:\/\/doi.org\/10.1016\/j.fss.2014.07.006","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.fss.2016.12.016","volume":"317","author":"P Juli\u00e1n Iranzo","year":"2017","unstructured":"Juli\u00e1n Iranzo, P., Rubio-Manzano, C.: A sound and complete semantics for a similarity-based logic programming language. Fuzzy Sets Syst. 317, 1\u201326 (2017). https:\/\/doi.org\/10.1016\/j.fss.2016.12.016","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Juli\u00e1n Iranzo, P., S\u00e1enz-P\u00e9rez, F.: An efficient proximity-based unification algorithm. In: 2018 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2018, Rio de Janeiro, Brazil, 8\u201313 July 2018, pp.\u00a01\u20138. IEEE (2018). https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2018.8491593","DOI":"10.1109\/FUZZ-IEEE.2018.8491593"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Juli\u00e1n Iranzo, P., S\u00e1enz-P\u00e9rez, F.: Bousi$$\\sim $$Prolog: design and implementation of a proximity-based fuzzy logic programming language. Expert Syst. Appl. 213(Part), 118858 (2023). https:\/\/doi.org\/10.1016\/J.ESWA.2022.118858","DOI":"10.1016\/J.ESWA.2022.118858"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36109-X_21","volume-title":"Flexible Query Answering Systems","author":"S Kraj\u010di","year":"2002","unstructured":"Kraj\u010di, S., Lencses, R., Medina, J., Ojeda-Aciego, M., Vojt\u00e1\u0161, P.: A similarity-based unification model for flexible querying. In: Carbonell, J.G., Siekmann, J., Andreasen, T., Christiansen, H., Motro, A., Legind Larsen, H. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522, pp. 263\u2013273. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36109-X_21"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-030-45260-5_7","volume-title":"Logic-Based Program Synthesis and Transformation","author":"T Kutsia","year":"2020","unstructured":"Kutsia, T., Pau, C.: Solving proximity constraints. In: Gabbrielli, M. (ed.) LOPSTR 2019. LNCS, vol. 12042, pp. 107\u2013122. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45260-5_7"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/J.FSS.2003.10.018","volume":"144","author":"V Loia","year":"2004","unstructured":"Loia, V., Senatore, S., Sessa, M.I.: Similarity-based SLD resolution and its role for web knowledge discovery. Fuzzy Sets Syst. 144(1), 151\u2013171 (2004). https:\/\/doi.org\/10.1016\/J.FSS.2003.10.018","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Maruyama, Y.: Higher-order fuzzy logics and their categorical semantics: Higher-order linear completeness and Baaz translation via substructural tripos theory. In: 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, 11\u201314 July 2021, pp.\u00a01\u20136. IEEE (2021). https:\/\/doi.org\/10.1109\/FUZZ45933.2021.9494453","DOI":"10.1109\/FUZZ45933.2021.9494453"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.fss.2003.11.005","volume":"146","author":"J Medina","year":"2004","unstructured":"Medina, J., Ojeda-Aciego, M., Vojt\u00e1s, P.: Similarity-based unification: a multi-adjoint approach. Fuzzy Sets Syst. 146(1), 43\u201362 (2004). https:\/\/doi.org\/10.1016\/j.fss.2003.11.005","journal-title":"Fuzzy Sets Syst."},{"issue":"5","key":"5_CR24","doi-asserted-by":"publisher","first-page":"2797","DOI":"10.1109\/TFUZZ.2024.3362897","volume":"32","author":"GC Milanese","year":"2024","unstructured":"Milanese, G.C., Pasi, G.: Similarity-based reasoning with order-sorted feature logic. IEEE Trans. Fuzzy Syst. 32(5), 2797\u20132810 (2024). https:\/\/doi.org\/10.1109\/TFUZZ.2024.3362897","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"4","key":"5_CR25","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. 1(4), 497\u2013536 (1991). https:\/\/doi.org\/10.1093\/LOGCOM\/1.4.497","journal-title":"J. Log. Comput."},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"Miller, D., Nadathur, G.: Programming with Higher-Order Logic. Cambridge University Press, Cambridge (2012). https:\/\/doi.org\/10.1017\/CBO9781139021326","DOI":"10.1017\/CBO9781139021326"},{"key":"5_CR27","doi-asserted-by":"publisher","unstructured":"Nipkow, T.: Functional unification of higher-order patterns. In: Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS \u201993), Montreal, Canada, 19\u201323 June 1993, pp. 64\u201374. IEEE Computer Society (1993). https:\/\/doi.org\/10.1109\/LICS.1993.287599","DOI":"10.1109\/LICS.1993.287599"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/J.FSS.2012.03.006","volume":"205","author":"V Nov\u00e1k","year":"2012","unstructured":"Nov\u00e1k, V.: Elements of model theory in higher-order fuzzy logic. Fuzzy Sets Syst. 205, 101\u2013115 (2012). https:\/\/doi.org\/10.1016\/J.FSS.2012.03.006","journal-title":"Fuzzy Sets Syst."},{"key":"5_CR29","unstructured":"Pau, C.: Symbolic Techniques for Approximate Reasoning. Ph.D. thesis, Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria (2022)"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"Pau, C., Kutsia, T.: Proximity-based unification and matching for fully fuzzy signatures. In: 30th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2021, Luxembourg, 11\u201314 July 2021, pp.\u00a01\u20136. IEEE (2021). https:\/\/doi.org\/10.1109\/FUZZ45933.2021.9494438","DOI":"10.1109\/FUZZ45933.2021.9494438"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Sandri, S.A., Mendon\u00e7a, J., Martins-Bed\u00e9, F.T., Guimar\u00e3es, R., Carvalho, O.S.: Weighted fuzzy similarity relations in case-based reasoning: a case study in classification. In: FUZZ-IEEE 2012, IEEE International Conference on Fuzzy Systems, Brisbane, Australia, 10\u201315 June 2012, Proceedings, pp.\u00a01\u20137. IEEE (2012). https:\/\/doi.org\/10.1109\/FUZZ-IEEE.2012.6251149","DOI":"10.1109\/FUZZ-IEEE.2012.6251149"},{"issue":"1\u20132","key":"5_CR32","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/S0304-3975(01)00188-8","volume":"275","author":"MI Sessa","year":"2002","unstructured":"Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Theor. Comput. Sci. 275(1\u20132), 389\u2013426 (2002). https:\/\/doi.org\/10.1016\/S0304-3975(01)00188-8","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"5_CR33","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/S1571-0661(04)80516-4","volume":"66","author":"H Virtanen","year":"2002","unstructured":"Virtanen, H.: Vague domains, S-unification, logic programming. Electr. Notes Theor. Comput. Sci. 66(5), 86\u2013103 (2002). https:\/\/doi.org\/10.1016\/S1571-0661(04)80516-4","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"5_CR34","unstructured":"Vojt\u00e1s, P.: Declarative and procedural semantics of fuzzy similarity based unification. Kybernetika 36(6), 707\u2013720 (2000). http:\/\/www.kybernetika.cz\/content\/2000\/6\/707"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04848-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T07:07:52Z","timestamp":1791443272000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04848-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"ISBN":["9783032048479","9783032048486"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04848-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,9]]},"assertion":[{"value":"9 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lopstr.github.io\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}