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
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
Hi-index | 5.23 |