21.itrs

contents

# TRS/Beerendonk/21.trs
(VAR x y z)
(RULES
eval_1(x, y, z) -> eval_2(x, y, z) :|: x = y && x > z
eval_2(x, y, z) -> eval_2(x - 1, y - 1, z) :|: y > z
eval_2(x, y, z) -> eval_1(x, y, z) :|: z >= y
)

content may be truncated. 'popout' for larger text window.