@inproceedings{e356175083e74652b9c10827d8b58ab7,
title = "An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion",
abstract = "We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional and non-functional rewrite relations. We illustrate the inversion by experiments with full and partial inversions of the Ackermann function. The case study demonstrates, among others, that polyvariant inversion and input-output set propagation can reduce the search space of the generated inverse systems.",
author = "Mikkelsen, {Maria Bendix} and Robert Gl{\"u}ck and Kirkeby, {Maja Hanne}",
year = "2021",
doi = "10.4204/EPTCS.341.3",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",
publisher = "arxiv.org",
pages = "33--41",
editor = "Lisitsa, { Alexei } and Nemytykh, {Andrei P. }",
booktitle = "Proceedings of the 9th International Workshop on Verification and Program Transformation",
note = "9th International Workshop on Verification and Program Transformation ; Conference date: 27-03-2021 Through 28-03-2021",
}