Alternation and the computational complexity of logic programs
Journal of Logic Programming
Journal of the ACM (JACM)
And/Or Programs: A New Approach to Structured Programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |