DBLP Record 'conf/lpe/OspinaC01'

BibTeX

@inproceedings{DBLP:conf/lpe/OspinaC01,
  author    = {Gustavo A. Ospina and
               Baudouin Le Charlier},
  title     = {On the Design of a Tool for Supporting the Construction
               of Logic Programs},
  booktitle = {WLPE},
  year      = {2001},
  ee        = {http://arxiv.org/abs/cs.PL/0111041},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}