Dwork, C., Kanellakis, P. C., and Mitchell, J. C., On the sequential nature of unification, Journal of Logic Programming 1 pp. 35-50 (1984).
author author author author author author author author author title title title title title title journal journal journal journal volume pages pages date