DBLP Record 'conf/lopstr/SerebrenikS00'

BibTeX

@inproceedings{DBLP:conf/lopstr/SerebrenikS00,
  author    = {Alexander Serebrenik and
               Danny De Schreye},
  title     = {Non-tranformational termination analysis of logic programs,
               based on general term-orderings},
  booktitle = {LOPSTR},
  year      = {2000},
  ee        = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-serebrenik.ps.Z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}