Declarative Debugging in Godel (1995)

by Dominic Frank Julian Binks