On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A continuum of discrete systems
Annals of Mathematics and Artificial Intelligence
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
The Complexity Of Local Stratification
Fundamenta Informaticae
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |