@inproceedings{ACF01,
 author = "Mar\'{\i}a Alpuente and Francisco Correa and Moreno Falaschi",
 title = "{D}eclarative {D}ebugging of {F}untional {L}ogic {P}rograms",
 booktitle = "Proc.\ of the International Workshop on Reduction
          Strategies in Rewriting and Programming (WRS 2001)",
editor = {B. Gramlich and S. Lucas},
series = {Electronic Notes in Theoretical Computer
Science},
publisher = {Elsevier Science Publishers},
volume = {57},
year = {2001}
}