BibTeX record conf/plpv/ChristiansenSV10

download as .bib file

@inproceedings{DBLP:conf/plpv/ChristiansenSV10,
  author    = {Jan Christiansen and
               Daniel Seidel and
               Janis Voigtl{\"{a}}nder},
  title     = {Free theorems for functional logic programs},
  booktitle = {{PLPV}},
  pages     = {39--48},
  publisher = {{ACM}},
  year      = {2010}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics