Book Chapter

Declarative debugging with Buddha

B Pope

Lecture Notes in Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2004