Yannis E. Ioannidis
-
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
Linearizing Some Recursive Logic Programs
IEEE Transactions on Knowledge and Data Engineering