SerebrenikS03'

@inproceedings{DBLP:conf/lpe/SerebrenikS03,
  author    = {Alexander Serebrenik and
               Danny De Schreye},
  title     = {Hasta-La-Vista: Termination Analyser for Logic Programs},
  booktitle = {WLPE},
  year      = {2003},
  pages     = {60-74},
  crossref  = {DBLP:conf/lpe/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lpe/2003,
  editor    = {Fr{\'e}d{\'e}ric Mesnard and
               Alexander Serebrenik},
  title     = {Proceedings of the 13th International Workshop on Logic
               Programming Environments, Tata Institute of Fundamental
               Research, Mumbai, India, December 8, 2003},
  booktitle = {WLPE},
  publisher = {Katholieke Universiteit Leuven, Department of Computer Science,
               Celestijnenlaan 200A, B-3001 Heverlee (Belgium)},
  series    = {Report},
  volume    = {CW371},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}