/home/nowonder/forschung/aprove/TPDB05/TRS/D33/28.trs

The program

(VAR x y z u v)
(RULES
 if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))
)

(COMMENT Example 28 in \cite{D33})

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend