On the sequential nature of unification (1984)

by C Dwork, P C Kanellakis, J C Mitchell
Venue:J. Logic Programming