On the Complexity of Unification Sequences.

Heikki Mannila, Esko Ukkonen

Browse the full ICLP paper archive.