Principles, practice, and applications of tabled logic programming

Tabled evaluation with delaying for general logic programs

Journal of the ACM (JACM)

Well-founded abduction via tabled dual programs

Proceedings of the 1999 international conference on Logic programming

Tabling for non-monotonic programming

Annals of Mathematics and Artificial Intelligence

Efficient Model Checking Using Tabled Resolution

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification