@article{Dwork198435,
    Author = {Dwork, Cynthia and Kanellakis, Paris C. and Mitchell, John C.},
    File = {On the sequential nature of unification - Dwork, Kanellakis, Mitchell (0) (0) - a - a - d.pdf},
    ISSN = {0743-1066},
    Journal = {The Journal of Logic Programming},
    Keywords = {unification},
    Number = {1},
    Pages = {35 - 50},
    Title = {On the sequential nature of unification},
    URL = {http://www.sciencedirect.com/science/article/pii/0743106684900220},
    Volume = {1},
    Year = {1984},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0743106684900220},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0743-1066(84)90022-0},
    date-added = {2013-05-13 16:18:37 +0000},
    date-modified = {2013-05-13 16:19:41 +0000},
    doi = {10.1016/0743-1066(84)90022-0}
}

@article{Dwork198435, Author = {Dwork, Cynthia and Kanellakis, Paris C. and Mitchell, John C.}, File = {On the sequential nature of unification - Dwork, Kanellakis, Mitchell (0) (0) - a - a - d.pdf}, ISSN = {0743-1066}, Journal = {The Journal of Logic Programming}, Keywords = {unification}, Number = {1}, Pages = {35 - 50}, Title = {On the sequential nature of unification}, URL = {http://www.sciencedirect.com/science/article/pii/0743106684900220}, Volume = {1}, Year = {1984}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0743106684900220}, bdsk-url-2 = {http://dx.doi.org/10.1016/0743-1066(84)90022-0}, date-added = {2013-05-13 16:18:37 +0000}, date-modified = {2013-05-13 16:19:41 +0000}, doi = {10.1016/0743-1066(84)90022-0} }