P89-1029 forms of unification . Consider dag unification as in Shieber ( 1985b ) . Given
P84-1075 with efficient structuresharing DAG unification algorithms , and incorporating
hide detail