@inproceedings{DBLP:conf/plilp/Arenas-SanchezG95,
author = {P.~Arenas-S{\'{a}}nchez and A.~Gil-Luezas},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {PLILP},
crossref = {DBLP:conf/plilp/95},
pages = {453-454},
title = {A Debugging Model for Lazy Narrowing},
projects = {},
butype = {inproceedings},
year = {1995}
}