Termination of simply moded logic programs with dynamic scheduling

Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus. Termination of simply moded logic programs with dynamic scheduling. ACM Trans. Comput. Log., 5(3):470-507, 2004. [doi]

Abstract

Abstract is missing.