Mireille Ducassé Jacques Noyé Logic Programming Environments: Dynamic Program Analysis and Debugging. 351-384 1994 19/20 J. Log. Program. db/journals/jlp/jlp19.html#DucasseN94