TY  - RPRT
TI  - An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion
AU  - Maria Bendix Mikkelsen
AU  - Robert Glück
AU  - Maja H. Kirkeby
PY  - 2021
DO  - 10.4204/eptcs.341.3
UR  - https://arxiv.org/abs/2109.02810
ID  - 2109.02810
ER  -