An evaluation tree for declarative diagnosis in Mercury (1999)

by Mark Brown, Zoltan Somogyi