DBLP BibTeX Record 'conf/lpe/PayetM05'

@inproceedings{DBLP:conf/lpe/PayetM05,
  author    = {{\'E}tienne Payet and
               Fr{\'e}d{\'e}ric Mesnard},
  title     = {An Improved Non-Termination Criterion for Binary Constraint
               Logic Programs},
  booktitle = {WLPE},
  year      = {2005},
  pages     = {46-60},
  ee        = {http://arxiv.org/abs/cs.pl/0508106},
  crossref  = {DBLP:conf/lpe/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/lpe/2005,
  editor    = {Alexander Serebrenik and
               Susana Mu{\~n}oz-Hern{\'a}ndez},
  title     = {Proceedings of the 15th International Workshop on Logic
               Programming Environments, Sitges (Barcelona), October 5,
               2005},
  booktitle = {WLPE},
  year      = {2005},
  ee        = {http://arxiv.org/html/cs.PL/0508078},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}