AlbertiCGL05'

BibTeX

@inproceedings{DBLP:conf/wlp/AlbertiCGL05,
  author    = {Marco Alberti and
               Federico Chesani and
               Marco Gavanelli and
               Evelina Lamma},
  title     = {The CHR-based Implementation of a System for Generation
               and Confirmation of Hypotheses},
  booktitle = {W(C)LP},
  year      = {2005},
  pages     = {111-122},
  crossref  = {DBLP:conf/wlp/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wlp/2005,
  editor    = {Armin Wolf and
               Thom W. Fr{\"u}hwirth and
               Marc Meister},
  title     = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany,
               February 21-23, 2005},
  booktitle = {W(C)LP},
  publisher = {Universit{\"a}t Ulm, Germany},
  series    = {Ulmer Informatik-Berichte},
  volume    = {2005-01},
  year      = {2005},
  ee        = {http://www.informatik.uni-ulm.de/epin/pw/11541},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}