Pletat93'

BibTeX

@inproceedings{DBLP:conf/wlp/Pletat93,
  author    = {Udo Pletat},
  title     = {Eine Logikprogrammiersprache mit attribut- und konstruktorbasierten
               Sorten},
  booktitle = {WLP},
  year      = {1993},
  pages     = {81-84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}