/home/nowonder/forschung/aprove/TPDB05/TRS/TRCSR/Ex5_Zan97_Z.trs

The program

(VAR X Y)
(RULES 
f(X) -> if(X,c,n__f(true))
if(true,X,Y) -> X
if(false,X,Y) -> activate(Y)
f(X) -> n__f(X)
activate(n__f(X)) -> f(X)
activate(X) -> X
)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend