{"id":"https://openalex.org/W2122839006","doi":"https://doi.org/10.1145/1970398.1970402","title":"Unification and matching on compressed terms","display_name":"Unification and matching on compressed terms","publication_year":2011,"publication_date":"2011-07-01","ids":{"openalex":"https://openalex.org/W2122839006","doi":"https://doi.org/10.1145/1970398.1970402","mag":"2122839006"},"language":"en","primary_location":{"id":"doi:10.1145/1970398.1970402","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1970398.1970402","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2117/13343","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015542293","display_name":"Adri\u00e0 Gasc\u00f3n","orcid":"https://orcid.org/0000-0002-1807-8311"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Adri\u00e0 Gasc\u00f3n","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061131539","display_name":"Guillem Godoy","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Guillem Godoy","raw_affiliation_strings":["Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016539119","display_name":"Manfred Schmidt-Schau\u00df","orcid":"https://orcid.org/0000-0001-8809-7385"},"institutions":[{"id":"https://openalex.org/I114090438","display_name":"Goethe University Frankfurt","ror":"https://ror.org/04cvxnb49","country_code":"DE","type":"education","lineage":["https://openalex.org/I114090438"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Manfred Schmidt-Schauss","raw_affiliation_strings":["Goethe-Universit\u00e4t, Frankfurt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Goethe-Universit\u00e4t, Frankfurt, Germany","institution_ids":["https://openalex.org/I114090438"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.0307,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.95222167,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"12","issue":"4","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"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.9984999895095825,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9979000091552734,"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.6355880498886108},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5411106944084167},{"id":"https://openalex.org/keywords/l-attributed-grammar","display_name":"L-attributed grammar","score":0.5303680896759033},{"id":"https://openalex.org/keywords/directed-acyclic-graph","display_name":"Directed acyclic graph","score":0.5299987196922302},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.5122453570365906},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.501105785369873},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4524858593940735},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4486883580684662},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4362075626850128},{"id":"https://openalex.org/keywords/singleton","display_name":"Singleton","score":0.4318036437034607},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.42835599184036255},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.42230290174484253},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3366687595844269},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2457142472267151},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.19877967238426208},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16172751784324646},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0878000259399414}],"concepts":[{"id":"https://openalex.org/C96146094","wikidata":"https://www.wikidata.org/wiki/Q609057","display_name":"Unification","level":2,"score":0.6355880498886108},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5411106944084167},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.5303680896759033},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.5299987196922302},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.5122453570365906},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.501105785369873},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4524858593940735},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4486883580684662},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4362075626850128},{"id":"https://openalex.org/C117354338","wikidata":"https://www.wikidata.org/wiki/Q1165112","display_name":"Singleton","level":3,"score":0.4318036437034607},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.42835599184036255},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.42230290174484253},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3366687595844269},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2457142472267151},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.19877967238426208},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16172751784324646},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0878000259399414},{"id":"https://openalex.org/C2779234561","wikidata":"https://www.wikidata.org/wiki/Q11995","display_name":"Pregnancy","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1970398.1970402","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1970398.1970402","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.760.9116","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.760.9116","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1003.1632.pdf","raw_type":"text"},{"id":"pmh:oai:upcommons.upc.edu:2117/13343","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/13343","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/13343","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/13343","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5199999809265137}],"awards":[{"id":"https://openalex.org/G1916637371","display_name":null,"funder_award_id":"TIN2007-66523","funder_id":"https://openalex.org/F4320321764","funder_display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte"}],"funders":[{"id":"https://openalex.org/F4320321764","display_name":"Ministerio de Educaci\u00f3n, Cultura y Deporte","ror":"https://ror.org/03nc27g21"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W1486245824","https://openalex.org/W1506928755","https://openalex.org/W1510722254","https://openalex.org/W1519768517","https://openalex.org/W1521552748","https://openalex.org/W1528783056","https://openalex.org/W1539443054","https://openalex.org/W1560857865","https://openalex.org/W1563408602","https://openalex.org/W1565623053","https://openalex.org/W1572710747","https://openalex.org/W1591460230","https://openalex.org/W1593799327","https://openalex.org/W1597956802","https://openalex.org/W1669099564","https://openalex.org/W1761337041","https://openalex.org/W1847375251","https://openalex.org/W2000346568","https://openalex.org/W2009408613","https://openalex.org/W2024522546","https://openalex.org/W2033770248","https://openalex.org/W2035973850","https://openalex.org/W2063039776","https://openalex.org/W2065197261","https://openalex.org/W2066012259","https://openalex.org/W2067672042","https://openalex.org/W2100738443","https://openalex.org/W2107745473","https://openalex.org/W2113722134","https://openalex.org/W2135622971","https://openalex.org/W2143237826","https://openalex.org/W2146163384","https://openalex.org/W2148149459","https://openalex.org/W2148506544","https://openalex.org/W2156045808","https://openalex.org/W2157989279","https://openalex.org/W2166408998","https://openalex.org/W2168518033","https://openalex.org/W2611708922","https://openalex.org/W2911838076","https://openalex.org/W2913944636","https://openalex.org/W3022449549","https://openalex.org/W3140493557","https://openalex.org/W4213232664","https://openalex.org/W4285719527","https://openalex.org/W4300790099","https://openalex.org/W4388298878"],"related_works":["https://openalex.org/W152266133","https://openalex.org/W2055334547","https://openalex.org/W1564771228","https://openalex.org/W2070587391","https://openalex.org/W1879113817","https://openalex.org/W2002048494","https://openalex.org/W1969069928","https://openalex.org/W3013359325","https://openalex.org/W2094337149","https://openalex.org/W1557335907"],"abstract_inverted_index":{"Term":[0],"unification":[1,78,148],"plays":[2],"an":[3,74],"important":[4],"role":[5],"in":[6,13,26,51],"many":[7],"areas":[8],"of":[9,21,43,73,116,142,157],"computer":[10],"science,":[11],"especially":[12],"those":[14,163],"related":[15],"to":[16],"logic.":[17],"The":[18,67],"universal":[19],"mechanism":[20],"grammar-based":[22],"compression":[23,91],"for":[24,93,108,122,162],"terms,":[25],"particular":[27],"the":[28,55,71,82,114,123,126,133,138],"so-called":[29],"singleton":[30,99,143],"tree":[31,100,144],"grammars":[32],"(STGAs)":[33],",":[34],"have":[35],"recently":[36],"drawn":[37],"considerable":[38],"attention.":[39],"Using":[40],"STGs,":[41],"terms":[42,83,94,134],"exponential":[44],"size":[45],"and":[46,79,98,149],"height":[47],"can":[48,63],"be":[49,64],"represented":[50,88,136],"linear":[52],"space.":[53],"Furthermore,":[54],"term":[56,77],"representation":[57],"by":[58],"directed":[59],"acyclic":[60],"graphs":[61],"(dags)":[62],"efficiently":[65],"simulated.":[66],"present":[68],"article":[69],"is":[70,120,130],"result":[72],"investigation":[75],"on":[76],"matching":[80,110,150],"when":[81,113,132],"given":[84],"as":[85,96],"input":[86],"are":[87,135,154],"using":[89,137],"different":[90,117],"mechanisms":[92],"such":[95],"dags":[97],"grammars.":[101,145],"We":[102],"describe":[103],"a":[104],"polynomial":[105,151],"time":[106,152],"algorithm":[107],"context":[109,118],"with":[111],"dags,":[112],"number":[115],"variables":[119],"fixed":[121],"problem.":[124],"For":[125,146],"same":[127],"problem,":[128],"NP-completeness":[129],"obtained":[131],"more":[139],"general":[140],"formalism":[141],"first-order":[147],"algorithms":[153],"presented,":[155],"each":[156],"them":[158],"improving":[159],"previous":[160],"results":[161],"problems.":[164]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}