"A Flexible Framework for Dynamic and Static Slicing of Logic Programs."

Wamberto Weber Vasconcelos (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics