@inproceedings{ABCF03,
 author = "M. Alpuente and D. Ballis and F. J. Correa and M. Falaschi",
 title = "Automated {C}orrection of {F}unctional {L}ogic {P}rograms",
 booktitle = {Proc. of the European Symp. on Programming, ESOP 
 2003},
 editor = {P. Degano},
 publisher = {Springer LNCS 2618},
 pages     = {54-68},
 year = 2003}