P. Devienne
-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Nontermination inference of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)