An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion

Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby

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 se…