@inproceedings{CaballeroLux:ENTCS76,
author = {R.~Caballero and W.~Lux},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Selected Papers},
editor = {Comini, Marco and Falaschi, Moreno},
publisher = {Elsevier},
series = {Electronic Notes in Theoretical Computer Science},
title = {Declarative Debugging for Encapsulated Search},
volume = {76},
projects = {},
butype = {workshop},
year = {2002}
}