## Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis, Moshe Y. Vardi

*Decidable Optimization Problems for Database Logic Programs*

STOC, 1988.

@inproceedings{STOC-1988-CosmadakisGKV, author = "Stavros S. Cosmadakis and Haim Gaifman and Paris C. Kanellakis and Moshe Y. Vardi", booktitle = "{Proceedings of the 20th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/62212.62259", isbn = "0-89791-264-0", pages = "477--490", publisher = "{ACM}", title = "{Decidable Optimization Problems for Database Logic Programs}", year = 1988, }