BibTeX record conf/iclp/Kluzniak87

download as .bib file

@inproceedings{DBLP:conf/iclp/Kluzniak87,
  author    = {Feliks Kluzniak},
  title     = {Type Synthesis for Ground Prolog},
  booktitle = {{ICLP}},
  pages     = {788--816},
  publisher = {{MIT} Press},
  year      = {1987}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics