On the complexity of unification sequences

Reference:

Heikki Mannila and E. Ukkonen. On the complexity of unification sequences. In Third International Conference on Logic Programming, pages 122–133, 1986.

Suggested BibTeX entry:

@inproceedings{mulp86,
    author = {Heikki Mannila and E. Ukkonen},
    booktitle = {Third International Conference on Logic Programming},
    pages = {122-133},
    title = {On the complexity of unification sequences},
    year = {1986},
}