DBLP Record 'conf/wlp/BurckelHMN00'

BibTeX

@inproceedings{DBLP:conf/wlp/BurckelHMN00,
  author    = {Serge Burckel and
               S{\'e}bastien Hoarau and
               Fr{\'e}d{\'e}ric Mesnard and
               Ulrich Neumerkel},
  title     = {cTI: Bottom-Up Termination Inference for Logic Programs},
  booktitle = {15. WLP},
  year      = {2000},
  pages     = {123-134},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}