{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:30Z","timestamp":1753894410209,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"accepted":{"date-parts":[[2025,4,3]]},"abstract":"<jats:p>We present a new encoding of the Battle of Hercules and Hydra as a rewrite system with AC symbols. Unlike earlier term rewriting encodings, it faithfully models any strategy of Hercules to beat Hydra. To prove the termination of our encoding, we employ type introduction in connection with many-sorted semantic labeling for AC rewriting and AC-MPO, a new AC compatible reduction order that can be seen as a much weakened version of AC-RPO.<\/jats:p>","DOI":"10.46298\/lmcs-21(2:29)2025","type":"journal-article","created":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T08:10:06Z","timestamp":1751011806000},"source":"Crossref","is-referenced-by-count":0,"title":["Hydra Battles and AC Termination"],"prefix":"10.46298","volume":"Volume 21, Issue 2","author":[{"given":"Nao","family":"Hirokawa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aart","family":"Middeldorp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2025,6,27]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arxiv.org\/pdf\/2307.14036v5","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/arxiv.org\/pdf\/2307.14036v5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T08:10:06Z","timestamp":1751011806000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/13184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,27]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-21(2:29)2025","relation":{"has-preprint":[{"id-type":"arxiv","id":"2307.14036v3","asserted-by":"subject"},{"id-type":"arxiv","id":"2307.14036v2","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2307.14036","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2307.14036","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2025,6,27]]},"article-number":"13184"}}