José Júlio Alferes João Alexandre Leite Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Dynamic Logic Programming. 393-408 1998 conf/agp/1998 APPIA-GULP-PRODE db/conf/agp/agp1998.html#AlferesLPPP98