Decidable Optimization Problems for Database Logic Programs (Preliminary Report)

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

Browse the full STOC paper archive.