On the Complexity of Unification Sequences (1986)

by H Mannila
Venue:Proc. 3rd International Conference on Logic Programming