Kwangkeun Yi. Educational Pearl: Proof-directed debugging revisited for a first-order version. Journal of Functional Programming, 16(6):663-670, 2006. [doi]
@article{Yi06, title = {Educational Pearl: Proof-directed debugging revisited for a first-order version}, author = {Kwangkeun Yi}, year = {2006}, doi = {10.1017/S0956796806006149}, url = {http://dx.doi.org/10.1017/S0956796806006149}, tags = {debugging}, researchr = {https://researchr.org/publication/Yi06}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {16}, number = {6}, pages = {663-670}, }