(VAR x y z)
(RULES
q(e,x)      -> x
q(q(x,y),z) -> q(x,q(y,z))
q(x,q(y,z)) -> q(q(x,y),z)

eq(e, q(a,x))     -> false 
eq(q(a,x),q(a,y)) -> eq(x,y)
eq(x,y)           -> eq(y,x)
)
(COMMENT
Queue.
)