Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
OLD Resolution with Tabulation
Proceedings of the Third International Conference on Logic Programming
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Efficient Model Checking Using Tabled Resolution
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
| Hi-index | 0.00 |