Jeffrey F. Naughton;Yehoshua Sagiv
-;-
Undecidable optimization problems for database logic programs
Journal of the ACM (JACM)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)