Maurizio Martelli;Chiara Tricomi
-;-
A dynamic approach to characterizing termination of general logic programs
ACM Transactions on Computational Logic (TOCL)
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming