Translatability and intranslatability results for certain classes of logic programs (2003)
[BibTex]