Unifications, deunifications, and their complexity

Reference:

Heikki Mannila and E. Ukkonen. Unifications, deunifications, and their complexity. BIT, 30(4):599–619, 1990.

Suggested BibTeX entry:

@article{mubit,
    author = {Heikki Mannila and E. Ukkonen},
    journal = {BIT},
    number = {4},
    pages = {599-619},
    title = {Unifications, deunifications, and their complexity},
    volume = {30},
    year = {1990},
}