Quasi-Destructive Graph Unification

Towards Efficiency and Parallelism in Graph Unification

In Proceedings of the IWPT workshop on parsing technologies ’91 164-176
(IWPT ’91)

rpaper11