Termination of logic programs: the never-ending story

Danny de Schreye, Stefaan Decorte
1994 The Journal of Logic Programming  
doi:10.1016/0743-1066(94)90027-2 fatcat:ukeksb2uzjdnpddgp52hgrnp6a