BibTeX record: conf/lpe/PayetM05

download as .bib file

@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 = {Proceedings of the 15th International Workshop on Logic Programming
               Environments, Sitges (Barcelona), October 5, 2005},
  year      = {2005},
  pages     = {46--60},
  crossref  = {DBLP:conf/lpe/2005},
  url       = {http://arxiv.org/abs/cs.pl/0508106},
  timestamp = {Wed, 24 Sep 2014 04:38:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpe/PayetM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {2005},
  url       = {http://arxiv.org/html/cs.PL/0508078},
  timestamp = {Wed, 24 Sep 2014 04:38:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lpe/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}