(VAR x y z) (RULES .(.(x,y),z) -> .(x,.(y,z)) ) (COMMENT Example 9 in \cite{D33})
Submit to AProVE Web Frontend
Edit in AProVE Web Frontend