Termination proofs for logic programs with tabling
ACM Transactions on Computational Logic (TOCL)
Termination of well-typed logic programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
On modular termination proofs of general logic programs
Theory and Practice of Logic Programming
Hi-index | 0.00 |