Nachum Dershowitz, Yuh-Jeng Lee. Deductive Debugging. In SLP. pages 298-306, 1987.
@inproceedings{DershowitzL87,
title = {Deductive Debugging},
author = {Nachum Dershowitz and Yuh-Jeng Lee},
year = {1987},
tags = {debugging},
researchr = {https://researchr.org/publication/DershowitzL87},
cites = {0},
citedby = {0},
pages = {298-306},
booktitle = {SLP},
}