Questions on unification theory (and its application to DAG isomorphism )
An excellent starting point for information on unification theory
with some information on unification of term dags is the survey 
by Baader and Snyder.
http://www.cs.bu.edu/~snyder/publications/UnifChapter.pdf