{"id":"https://openalex.org/W2501889234","doi":"https://doi.org/10.1007/s10817-016-9383-3","title":"Higher-Order Pattern Anti-Unification in Linear Time","display_name":"Higher-Order Pattern Anti-Unification in Linear Time","publication_year":2016,"publication_date":"2016-07-27","ids":{"openalex":"https://openalex.org/W2501889234","doi":"https://doi.org/10.1007/s10817-016-9383-3","mag":"2501889234","pmid":"https://pubmed.ncbi.nlm.nih.gov/30174364"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-016-9383-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-016-9383-3","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-016-9383-3.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-016-9383-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064391847","display_name":"Alexander Baumg\u00e4rtner","orcid":"https://orcid.org/0000-0002-2802-3074"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Alexander Baumgartner","raw_affiliation_strings":["1Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria","Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080230891","display_name":"Temur Kutsia","orcid":"https://orcid.org/0000-0003-4084-7380"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Temur Kutsia","raw_affiliation_strings":["1Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria","Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"1Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]},{"raw_affiliation_string":"Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027212883","display_name":"Jordi Levy","orcid":"https://orcid.org/0000-0001-5883-5746"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Jordi Levy","raw_affiliation_strings":["Artificial Intelligence Research Institute (IIIA), Spanish Council for Scientific Research (CSIC), Barcelona, Spain"],"raw_orcid":"https://orcid.org/0000-0001-5883-5746","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), Spanish Council for Scientific Research (CSIC), Barcelona, Spain","institution_ids":["https://openalex.org/I4210131846"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021854785","display_name":"Mateu Villaret","orcid":"https://orcid.org/0000-0002-8066-3458"},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Mateu Villaret","raw_affiliation_strings":["3Departament d'Inform\u00e0tica i Matem\u00e0tica Aplicada (IMA), Universitat de Girona (UdG), Girona, Spain","Departament d'Inform\u00e0tica i Matem\u00e0tica Aplicada (IMA), Universitat de Girona (UdG), Girona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"3Departament d'Inform\u00e0tica i Matem\u00e0tica Aplicada (IMA), Universitat de Girona (UdG), Girona, Spain","institution_ids":["https://openalex.org/I251424209"]},{"raw_affiliation_string":"Departament d'Inform\u00e0tica i Matem\u00e0tica Aplicada (IMA), Universitat de Girona (UdG), Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021854785","https://openalex.org/A5027212883","https://openalex.org/A5064391847","https://openalex.org/A5080230891"],"corresponding_institution_ids":["https://openalex.org/I121883995","https://openalex.org/I251424209","https://openalex.org/I4210131846"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":2.1641,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.91357943,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"58","issue":"2","first_page":"293","last_page":"310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unification","display_name":"Unification","score":0.8237202167510986},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.7254127264022827},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6837716102600098},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6028445363044739},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5911014676094055},{"id":"https://openalex.org/keywords/lambda","display_name":"Lambda","score":0.4726753830909729},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.46189889311790466},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43463751673698425},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.42838728427886963},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.42103704810142517},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.41316890716552734},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3990216851234436},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.32262831926345825},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.31619954109191895},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2942391633987427},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.122955322265625}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.8237202167510986},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.7254127264022827},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6837716102600098},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6028445363044739},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5911014676094055},{"id":"https://openalex.org/C2778113609","wikidata":"https://www.wikidata.org/wiki/Q10897","display_name":"Lambda","level":2,"score":0.4726753830909729},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.46189889311790466},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43463751673698425},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.42838728427886963},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.42103704810142517},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.41316890716552734},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3990216851234436},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32262831926345825},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.31619954109191895},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2942391633987427},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.122955322265625},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/s10817-016-9383-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-016-9383-3","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-016-9383-3.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmid:30174364","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/30174364","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of automated reasoning","raw_type":null},{"id":"pmh:oai:dugi-doc:10256/14604","is_oa":true,"landing_page_url":"http://hdl.handle.net/10256/14604","pdf_url":null,"source":{"id":"https://openalex.org/S4306401633","display_name":"Universitat de Girona Digital Repository (Universitat de Girona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I251424209","host_organization_name":"Universitat de Girona","host_organization_lineage":["https://openalex.org/I251424209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning, 2017, vol. 58, n\u00fam. 2, p. 293-310","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:digital.csic.es:10261/155170","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/155170","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"http://purl.org/coar/resource_type/c_6501"},{"id":"pmh:oai:epub.jku.at/:3420086","is_oa":true,"landing_page_url":"https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-1247","pdf_url":null,"source":{"id":"https://openalex.org/S4306401788","display_name":"University Library Linz repository (Johannes Kepler Universitat Linz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I121883995","host_organization_name":"Johannes Kepler University of Linz","host_organization_lineage":["https://openalex.org/I121883995"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:europepmc.org:5071397","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/6109779","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},{"id":"pmh:oai:recercat.cat:2072/319847","is_oa":true,"landing_page_url":"http://hdl.handle.net/2072/319847","pdf_url":null,"source":{"id":"https://openalex.org/S4306402147","display_name":"RECERCAT (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1007/s10817-016-9383-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10817-016-9383-3","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10817-016-9383-3.pdf","source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Automated Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5099999904632568}],"awards":[{"id":"https://openalex.org/G2641954948","display_name":null,"funder_award_id":"RASO (TIN2015-71799-C2-1-P)","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"},{"id":"https://openalex.org/G4796613251","display_name":"SToUT: Symbolic Computation Techniques for Unranked Terms","funder_award_id":"P 24087","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6201583820","display_name":null,"funder_award_id":"MPCUdG2016/055","funder_id":"https://openalex.org/F4320310750","funder_display_name":"Universitat de Girona"},{"id":"https://openalex.org/G8193508536","display_name":null,"funder_award_id":"SToUT (P 24087-N18)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8388031880","display_name":null,"funder_award_id":"LoCoS (TIN2015-66293-R)","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"}],"funders":[{"id":"https://openalex.org/F4320310750","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2501889234.pdf","grobid_xml":"https://content.openalex.org/works/W2501889234.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W49489561","https://openalex.org/W251367185","https://openalex.org/W375631553","https://openalex.org/W1494812539","https://openalex.org/W1500475867","https://openalex.org/W1506984332","https://openalex.org/W1519498387","https://openalex.org/W1542742023","https://openalex.org/W1545897260","https://openalex.org/W1575597610","https://openalex.org/W1600465065","https://openalex.org/W1969946974","https://openalex.org/W2028789575","https://openalex.org/W2040074068","https://openalex.org/W2040792231","https://openalex.org/W2048906114","https://openalex.org/W2075352622","https://openalex.org/W2080124533","https://openalex.org/W2087096450","https://openalex.org/W2105146990","https://openalex.org/W2107463944","https://openalex.org/W2107923385","https://openalex.org/W2141669458","https://openalex.org/W2141979816","https://openalex.org/W2148628553","https://openalex.org/W2157782294","https://openalex.org/W2165657834","https://openalex.org/W2402296188","https://openalex.org/W2501889234","https://openalex.org/W2569620744","https://openalex.org/W4285719527","https://openalex.org/W6629364079"],"related_works":["https://openalex.org/W3123171335","https://openalex.org/W2153353244","https://openalex.org/W2761902706","https://openalex.org/W21537352","https://openalex.org/W1595139175","https://openalex.org/W4294236610","https://openalex.org/W1983748102","https://openalex.org/W4205386752","https://openalex.org/W2189323991","https://openalex.org/W2962866504"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,14,21,31,47],"rule-based":[3],"Huet\u2019s":[4],"style":[5],"anti-unification":[6],"algorithm":[7,51],"for":[8,53],"simply":[9],"typed":[10],"lambda-terms,":[11],"which":[12],"computes":[13],"least":[15],"general":[16],"higher-order":[17],"pattern":[18],"generalization.":[19],"For":[20],"pair":[22],"of":[23,26,61],"arbitrary":[24],"terms":[25],"the":[27,50],"same":[28],"type,":[29],"such":[30],"generalization":[32],"always":[33],"exists":[34],"and":[35,43],"is":[36,64],"unique":[37],"modulo":[38],"$$\\alpha":[39],"$$":[40],"\u03b1":[41],"-equivalence":[42],"variable":[44],"renaming.":[45],"With":[46],"minor":[48],"modification,":[49],"works":[52],"untyped":[54],"lambda-terms":[55],"as":[56],"well.":[57],"The":[58],"time":[59],"complexity":[60],"both":[62],"algorithms":[63],"linear.":[65]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2025-10-10T00:00:00"}