/home/nowonder/forschung/aprove/TPDB05/TRS/SK90/4.31.trs

The program

(VAR x y z)
(RULES
purge(nil) -> nil
purge(.(x,y)) -> .(x,purge(remove(x,y)))
remove(x,nil) -> nil
remove(x,.(y,z)) -> if(=(x,y),remove(x,z),.(y,remove(x,z)))
)
(COMMENT Example 4.31 (Purging) in \cite{SK90})

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend