Latha S. Colby;Leonid Libkin
-;-
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory