@article{Revesz:1993:CED:161974.162005,
    Address = {Essex, UK},
    Author = {Revesz, Peter Z.},
    File = {1-s2.0-030439759390222F-main (0) - a - a - c.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {gap-order constraints},
    Month = {August},
    Number = {1},
    Pages = {117--149},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {A Closed-form Evaluation for Datalog Queries with Integer (Gap)-order Constraints},
    URL = {http://dx.doi.org/10.1016/0304-3975(93)90222-F},
    Volume = {116},
    Year = {1993},
    acmid = {162005},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(93)90222-F},
    date-added = {2017-09-06 09:29:17 +0000},
    date-modified = {2017-09-06 09:29:38 +0000},
    file-2 = {TCS (0) - a - a - c.pdf},
    file-3 = {cs91-39 (0) - a - a - c.pdf},
    issue_date = {Aug. 2, 1993},
    numpages = {33},
    doi = {10.1016/0304-3975(93)90222-F}
}

@article{Revesz:1993:CED:161974.162005, Address = {Essex, UK}, Author = {Revesz, Peter Z.}, File = {1-s2.0-030439759390222F-main (0) - a - a - c.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {gap-order constraints}, Month = {August}, Number = {1}, Pages = {117--149}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {A Closed-form Evaluation for Datalog Queries with Integer (Gap)-order Constraints}, URL = {http://dx.doi.org/10.1016/0304-3975(93)90222-F}, Volume = {116}, Year = {1993}, acmid = {162005}, bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(93)90222-F}, date-added = {2017-09-06 09:29:17 +0000}, date-modified = {2017-09-06 09:29:38 +0000}, file-2 = {TCS (0) - a - a - c.pdf}, file-3 = {cs91-39 (0) - a - a - c.pdf}, issue_date = {Aug. 2, 1993}, numpages = {33}, doi = {10.1016/0304-3975(93)90222-F} }