Sergio Greco;Domenico Saccà
-;-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Declarative semantics for active rules
Theory and Practice of Logic Programming