Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson Moshe Y. Vardi Undecidable Boundedness Problems for Datalog Programs. 163-190 1995 25 J. Log. Program. 2 db/journals/jlp/jlp25.html#HillebrandKMV95