@article{Constable:1972:SPS:1739959.1740239,
    Address = {Orlando, FL, USA},
    Author = {Constable, R. L. and Muchnick, S. S.},
    ISSN = {0022-0000},
    Journal = {J. Comput. Syst. Sci.},
    Month = {December},
    Number = {6},
    Pages = {480--537},
    Publisher = {Academic Press, Inc.},
    Title = {Subrecursive Program Schemata I {\&} II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems},
    URL = {http://dx.doi.org/10.1016/S0022-0000(72)80029-1},
    Volume = {6},
    Year = {1972},
    acmid = {1740239},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0022-0000(72)80029-1},
    date-added = {2013-12-02 16:17:56 +0000},
    date-modified = {2013-12-02 16:17:56 +0000},
    issue_date = {December, 1972},
    numpages = {58},
    doi = {10.1016/S0022-0000(72)80029-1}
}

@article{Constable:1972:SPS:1739959.1740239, Address = {Orlando, FL, USA}, Author = {Constable, R. L. and Muchnick, S. S.}, ISSN = {0022-0000}, Journal = {J. Comput. Syst. Sci.}, Month = {December}, Number = {6}, Pages = {480--537}, Publisher = {Academic Press, Inc.}, Title = {Subrecursive Program Schemata I {\&} II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems}, URL = {http://dx.doi.org/10.1016/S0022-0000(72)80029-1}, Volume = {6}, Year = {1972}, acmid = {1740239}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0022-0000(72)80029-1}, date-added = {2013-12-02 16:17:56 +0000}, date-modified = {2013-12-02 16:17:56 +0000}, issue_date = {December, 1972}, numpages = {58}, doi = {10.1016/S0022-0000(72)80029-1} }