@article{Robinson:1965:MLB:321250.321253,
    Address = {New York, NY, USA},
    Author = {Robinson, J. A.},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {no pdf and unification},
    Month = {January},
    Number = {1},
    Pages = {23--41},
    Publisher = {ACM},
    Title = {A Machine-Oriented Logic Based on the Resolution Principle},
    URL = {http://doi.acm.org/10.1145/321250.321253},
    Volume = {12},
    Year = {1965},
    acmid = {321253},
    bdsk-url-1 = {http://doi.acm.org/10.1145/321250.321253},
    bdsk-url-2 = {http://dx.doi.org/10.1145/321250.321253},
    date-added = {2013-07-09 09:39:56 +0000},
    date-modified = {2013-07-09 12:57:17 +0000},
    issue_date = {Jan. 1965},
    numpages = {19},
    doi = {10.1145/321250.321253}
}

@article{Robinson:1965:MLB:321250.321253, Address = {New York, NY, USA}, Author = {Robinson, J. A.}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {no pdf and unification}, Month = {January}, Number = {1}, Pages = {23--41}, Publisher = {ACM}, Title = {A Machine-Oriented Logic Based on the Resolution Principle}, URL = {http://doi.acm.org/10.1145/321250.321253}, Volume = {12}, Year = {1965}, acmid = {321253}, bdsk-url-1 = {http://doi.acm.org/10.1145/321250.321253}, bdsk-url-2 = {http://dx.doi.org/10.1145/321250.321253}, date-added = {2013-07-09 09:39:56 +0000}, date-modified = {2013-07-09 12:57:17 +0000}, issue_date = {Jan. 1965}, numpages = {19}, doi = {10.1145/321250.321253} }