IWBS181'

BibTeX

@article{DBLP:tr/ibm/IWBS181,
  author    = {Christoph Beierle and
               Gregor Meyer and
               Heiner Semle},
  title     = {Extending the Warren Abstract Machine to Polymorphic Order-Sorted
               Resolution},
  journal   = {IWBS Report},
  publisher = {IBM Germany Science Center, Institute for Knowledge Based
               Systems},
  volume    = {181},
  year      = {1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}