C88-2113 cyclic graph unification and graph disjunction elimination algorithms respectively . As
hide detail