@inproceedings{siegel08debugging, author = {Bernd Bra\{ss}el and Holger Siegel}, title = {Debugging {L}azy {F}unctional {P}rograms by {A}sking the {O}racle}, booktitle = {Implementation and Application of Functional Languages}, editor = {Olaf Chitil and Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok}, month = {September}, year = 2008, pages = {183-200}, series = {LNCS}, volume = {5083}, publisher = {Springer}, address = {Freiburg, Germany}, }