EQUATIONS: 
times(x,\(x,y)) = y
\(x,times(x,y)) = y
slash(times(x,y),y) = x
times(slash(x,y),y) = x
times(x,times(y,x)) = y

COMPLETE TRS:
RULES:
times(x,y) -> slash(y,x)
\(x,y) -> slash(x,y)
slash(slash(x,y),x) -> y
slash(x,slash(y,x)) -> y

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds