EQUATIONS: 
app(nil(),y) = y
app(cons(x,y),z) = cons(x,app(y,z))
rev(nil()) = nil()
rev(cons(x,y)) = app(rev(y),cons(x,nil()))
rev(rev(x)) = x

COMPLETE TRS:
RULES:
app(nil(),y) -> y
app(cons(x,y),z) -> cons(x,app(y,z))
rev(nil()) -> nil()
rev(cons(x,y)) -> app(rev(y),cons(x,nil()))
rev(rev(x)) -> x
rev(app(x,cons(y,nil()))) -> cons(y,rev(x))

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds