BartheR97'

BibTeX

@inproceedings{DBLP:conf/alp/BartheR97,
  author    = {Gilles Barthe and
               Femke van Raamsdonk},
  title     = {Termination of Algebraic Type Systems: The Syntactic Approach},
  booktitle = {ALP/HOA},
  year      = {1997},
  pages     = {174-193},
  ee        = {http://dx.doi.org/10.1007/BFb0027010},
  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}
}