BibTeX record conf/wlp/Furbach95

download as .bib file

@inproceedings{DBLP:conf/wlp/Furbach95,
  author    = {Ulrich Furbach},
  title     = {From Theorem Proving to Logic Programming},
  booktitle = {{WLP}},
  pages     = {59--62},
  year      = {1995}
}
maintained by Schloss Dagstuhl LZI at University of Trier