Practical aspects of declarative debugging (2003)

by B Pope, Lee Naish
Venue:in Haskell-98. In ACM PPDP ’03