Annalisa Bossi Sandro Etalle Sabina Rossi Jan-Georg Smaus Termination of simply moded logic programs with dynamic scheduling. 470-507 2004 5 ACM Trans. Comput. Log. 3 http://doi.acm.org/10.1145/1013560.1013564 db/journals/tocl/tocl5.html#BossiERS04