Undecidable optimization problems for database logic programs (1993)

by H Gaifman, H G Mairson, Y Sagiv, M Y Vardi
Venue:Journal of the ACM (JACM