CodishT97'

BibTeX

@inproceedings{DBLP:conf/alp/CodishT97,
  author    = {Michael Codish and
               Cohavit Taboch},
  title     = {A Semantic Basis for Termination Analysis of Logic Programs
               and Its Realization Using Symbolic Norm Constraints},
  booktitle = {ALP/HOA},
  year      = {1997},
  pages     = {31-45},
  ee        = {http://dx.doi.org/10.1007/BFb0027001},
  crossref  = {DBLP:conf/alp/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/alp/1997,
  editor    = {Michael Hanus and
               Jan Heering and
               Karl Meinke},
  title     = {Algebraic and Logic Programming, 6th International Joint
               Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember
               3-5, 1997, Proceedings},
  booktitle = {ALP/HOA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1298},
  year      = {1997},
  isbn      = {3-540-63459-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}