Bernd Braßel Holger Siegel Debugging Lazy Functional Programs by Asking the Oracle. 183-200 2007 IFL http://dx.doi.org/10.1007/978-3-540-85373-2_11 conf/ifl/2007 db/conf/ifl/ifl2007.html#BrasselS07