Undecidable Optimization Problems for Database Logic Programs

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi

Browse the full LICS paper archive.