Mohamed A. Khamsi Driss Misane Fixed Point Theorems in Logic Programming. 231-243 1997 21 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai21.html#KhamsiM97