Petr Śtěpánek;Olga Śtěpáneková
-;-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)