Saumya K. Debray Flow Analysis of Dynamic Logic Programs. 149-176 1989 7 J. Log. Program. 2 db/journals/jlp/jlp7.html#Debray89