DBLP BibTeX Record 'conf/agp/AlpuenteBEFL03'

@inproceedings{DBLP:conf/agp/AlpuenteBEFL03,
  author    = {Mar\'{\i}a Alpuente and
               Demis Ballis and
               Santiago Escobar and
               Moreno Falaschi and
               Salvador Lucas},
  title     = {Abstract Correction of OBJ-like Programs},
  booktitle = {APPIA-GULP-PRODE},
  year      = {2003},
  pages     = {422-433},
  crossref  = {DBLP:conf/agp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/agp/2003,
  editor    = {Francesco Buccafurri},
  title     = {2003 Joint Conference on Declarative Programming, AGP-2003,
               Reggio Calabria, Italy, September 3-5, 2003},
  booktitle = {APPIA-GULP-PRODE},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}