Marc Gyssens;Dan Suciu;Dirk Van Gucht
-;-;-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)