Decidable Optimization Problems for Database Logic Programs (Preliminary Report)

Decidable Optimization Problems for Database Logic Programs (Preliminary Report) Stavros S. Cosmadakis Haim Gaifman Paris C. Kanellakis Moshe Y. Vardi 477-490 conf/stoc/STOC20 1988 STOC db/conf/stoc/stoc88.html#CosmadakisGKV88