Cynthia Dwork Paris C. Kanellakis John C. Mitchell On the Sequential Nature of Unification. 35-50 1984 1 J. Log. Program. 1 db/journals/jlp/jlp1.html#DworkKM84