BeierleMS91'

BibTeX

@inproceedings{DBLP:conf/slp/BeierleMS91,
  author    = {Christoph Beierle and
               Gregor Meyer and
               Heiner Semle},
  title     = {Extending the Warren Abstract Machine to Polymorphic Order-Sorted
               Resolution},
  booktitle = {ISLP},
  year      = {1991},
  pages     = {272-286},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}