@inproceedings{conf/lp/HoriuchiK87,
  added-at = {2009-10-15T00:00:00.000+0200},
  author = {Horiuchi, Kenji and Kanamori, Tadashi},
  biburl = {http://www.bibsonomy.org/bibtex/2d8efeb4b98147cb678868b4ee2d3a17c/dblp},
  booktitle = {LP},
  crossref = {conf/lp/1987},
  date = {2009-10-15},
  description = {dblp},
  editor = {Furukawa, Koichi and Tanaka, Hozumi and Fujisaki, Tetsunosuke},
  ee = {http://dx.doi.org/10.1007/3-540-19426-6_13},
  interhash = {705f267ac8f78dc68256addfe2cc1e6e},
  intrahash = {d8efeb4b98147cb678868b4ee2d3a17c},
  isbn = {3-540-19426-6},
  keywords = {dblp},
  pages = {195-214},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-10-15T00:00:00.000+0200},
  title = {Polymorphic Type Inference in Prolog by Abstract Interpretation.},
  url = {http://dblp.uni-trier.de/db/conf/lp/lp87.html#HoriuchiK87},
  volume = 315,
  year = 1987
}