dag_unify (clojars): Unification of Directed Acyclic Graphs
Keywords: unification