Francesco Buccafurri;Sergio Greco;Domenico Saccà
-;-;-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity