Logic programming environments: Dynamic program analysis and debugging (1994)

by M Ducassé, J Noyé