{"id":"https://openalex.org/W1965088381","doi":"https://doi.org/10.1007/bf01237233","title":"Automating the Knuth Bendix ordering","display_name":"Automating the Knuth Bendix ordering","publication_year":1990,"publication_date":"1990-02-01","ids":{"openalex":"https://openalex.org/W1965088381","doi":"https://doi.org/10.1007/bf01237233","mag":"1965088381"},"language":"en","primary_location":{"id":"doi:10.1007/bf01237233","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01237233","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057542353","display_name":"Jeremy Dick","orcid":null},"institutions":[{"id":"https://openalex.org/I1286704778","display_name":"Rutherford Appleton Laboratory","ror":"https://ror.org/03gq8fr08","country_code":"GB","type":"facility","lineage":["https://openalex.org/I1286704778","https://openalex.org/I162524378","https://openalex.org/I4210087105"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jeremy Dick","raw_affiliation_strings":["Informatics Department, Rutherford Appleton Laboratory, Chilton, OX11 0QX, Didcot, Oxon, UK","Informatics Department, Rutherford Appleton Laboratory, Didcot, UK OX11 0QX#TAB#"],"affiliations":[{"raw_affiliation_string":"Informatics Department, Rutherford Appleton Laboratory, Chilton, OX11 0QX, Didcot, Oxon, UK","institution_ids":["https://openalex.org/I1286704778"]},{"raw_affiliation_string":"Informatics Department, Rutherford Appleton Laboratory, Didcot, UK OX11 0QX#TAB#","institution_ids":["https://openalex.org/I1286704778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048407427","display_name":"John Kalmus","orcid":null},"institutions":[{"id":"https://openalex.org/I1286704778","display_name":"Rutherford Appleton Laboratory","ror":"https://ror.org/03gq8fr08","country_code":"GB","type":"facility","lineage":["https://openalex.org/I1286704778","https://openalex.org/I162524378","https://openalex.org/I4210087105"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John Kalmus","raw_affiliation_strings":["Informatics Department, Rutherford Appleton Laboratory, Chilton, OX11 0QX, Didcot, Oxon, UK","Informatics Department, Rutherford Appleton Laboratory, Didcot, UK OX11 0QX#TAB#"],"affiliations":[{"raw_affiliation_string":"Informatics Department, Rutherford Appleton Laboratory, Chilton, OX11 0QX, Didcot, Oxon, UK","institution_ids":["https://openalex.org/I1286704778"]},{"raw_affiliation_string":"Informatics Department, Rutherford Appleton Laboratory, Didcot, UK OX11 0QX#TAB#","institution_ids":["https://openalex.org/I1286704778"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028867738","display_name":"Ursula Martin","orcid":"https://orcid.org/0000-0002-1908-5927"},"institutions":[{"id":"https://openalex.org/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]},{"id":"https://openalex.org/I184558857","display_name":"Royal Holloway University of London","ror":"https://ror.org/04g2vpn86","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I184558857"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ursula Martin","raw_affiliation_strings":["Department of Computer Science, Royal Holloway and Bedford New College, University of London, Egham Hill, TW20 0EX, Egham, Surrey, UK","Department of Computer Science, Royal Holloway and Bedford New College, University of London, Egham, UK TW20 0EX#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Royal Holloway and Bedford New College, University of London, Egham Hill, TW20 0EX, Egham, Surrey, UK","institution_ids":["https://openalex.org/I184558857"]},{"raw_affiliation_string":"Department of Computer Science, Royal Holloway and Bedford New College, University of London, Egham, UK TW20 0EX#TAB#","institution_ids":["https://openalex.org/I124357947"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5057542353"],"corresponding_institution_ids":["https://openalex.org/I1286704778"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.0748,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.80085064,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"28","issue":"2","first_page":"95","last_page":"119"},"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.9991000294685364,"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.9991000294685364,"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.9966999888420105,"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/T10142","display_name":"Formal Methods in Verification","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.8349498510360718},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7764906883239746},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6194247007369995},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5437475442886353},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5365512371063232},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4462943971157074},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38725483417510986},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3381848931312561},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3302064538002014},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19444921612739563},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15778779983520508},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.10058480501174927}],"concepts":[{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.8349498510360718},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7764906883239746},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6194247007369995},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5437475442886353},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5365512371063232},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4462943971157074},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38725483417510986},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3381848931312561},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3302064538002014},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19444921612739563},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15778779983520508},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.10058480501174927},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf01237233","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf01237233","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W99578670","https://openalex.org/W196782186","https://openalex.org/W263209600","https://openalex.org/W1491987797","https://openalex.org/W1590828018","https://openalex.org/W1598625331","https://openalex.org/W1761984484","https://openalex.org/W1787035848","https://openalex.org/W1968386045","https://openalex.org/W1979101142","https://openalex.org/W1994958005","https://openalex.org/W2024390796","https://openalex.org/W2066527932","https://openalex.org/W2075624179","https://openalex.org/W2076508310","https://openalex.org/W2086747974","https://openalex.org/W2121757274","https://openalex.org/W2166060774","https://openalex.org/W2331236532","https://openalex.org/W2499474130","https://openalex.org/W2507006525","https://openalex.org/W3016074254","https://openalex.org/W4311630515"],"related_works":["https://openalex.org/W1887191277","https://openalex.org/W2334954212","https://openalex.org/W2776018879","https://openalex.org/W2794684478","https://openalex.org/W2964285269","https://openalex.org/W2018619927","https://openalex.org/W1965976175","https://openalex.org/W2065052881","https://openalex.org/W2079984189","https://openalex.org/W2157197973"],"abstract_inverted_index":null,"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}