/home/nowonder/forschung/aprove/TPDB05/TRS/AProVE/forward_instantiation2.trs

The program

(VAR x y z)
(RULES
  f(x,y,z) -> g(x,y,z)
  g(0,1,x) -> f(x,x,x)
  a -> b
  a -> c
)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend