@inproceedings{Cosmadakis:1988:DOP:62212.62259,
    Address = {New York, NY, USA},
    Author = {Cosmadakis, Stavros and Gaifman, Haim and Kanellakis, Paris and Vardi, Moshe},
    BookTitle = {Proceedings of the twentieth annual ACM symposium on Theory of computing},
    File = {Decidable optimization problems for database logic programs - Cosmadakis, Gaifman, Kanellakis, Vardi (0) (0) - a - a - u.pdf},
    ISBN = {0-89791-264-0},
    Location = {Chicago, Illinois, United States},
    Pages = {477--490},
    Publisher = {ACM},
    Series = {STOC '88},
    Title = {Decidable optimization problems for database logic programs},
    URL = {http://doi.acm.org/10.1145/62212.62259},
    Year = {1988},
    acmid = {62259},
    bdsk-url-1 = {http://doi.acm.org/10.1145/62212.62259},
    bdsk-url-2 = {http://dx.doi.org/10.1145/62212.62259},
    date-added = {2013-01-02 16:13:52 +0000},
    date-modified = {2013-01-02 16:13:52 +0000},
    numpages = {14},
    doi = {10.1145/62212.62259}
}

@inproceedings{Cosmadakis:1988:DOP:62212.62259, Address = {New York, NY, USA}, Author = {Cosmadakis, Stavros and Gaifman, Haim and Kanellakis, Paris and Vardi, Moshe}, BookTitle = {Proceedings of the twentieth annual ACM symposium on Theory of computing}, File = {Decidable optimization problems for database logic programs - Cosmadakis, Gaifman, Kanellakis, Vardi (0) (0) - a - a - u.pdf}, ISBN = {0-89791-264-0}, Location = {Chicago, Illinois, United States}, Pages = {477--490}, Publisher = {ACM}, Series = {STOC '88}, Title = {Decidable optimization problems for database logic programs}, URL = {http://doi.acm.org/10.1145/62212.62259}, Year = {1988}, acmid = {62259}, bdsk-url-1 = {http://doi.acm.org/10.1145/62212.62259}, bdsk-url-2 = {http://dx.doi.org/10.1145/62212.62259}, date-added = {2013-01-02 16:13:52 +0000}, date-modified = {2013-01-02 16:13:52 +0000}, numpages = {14}, doi = {10.1145/62212.62259} }