@article{journals/corr/cs-LO-9906013,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Glesner, Sabine and Stroetmann, Karl},
  biburl = {http://www.bibsonomy.org/bibtex/2b1e4ff1657e631767829af0962b3eeaa/dblp},
  ee = {http://arxiv.org/abs/cs.LO/9906013},
  interhash = {c2522193f16e90a50b31f039effd613d},
  intrahash = {b1e4ff1657e631767829af0962b3eeaa},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2011-12-05T00:00:00.000+0100},
  title = {Combining Inclusion Polymorphism and Parametric Polymorphism},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr9906.html#cs-LO-9906013},
  volume = {cs.LO/9906013},
  year = 1999
}