IWBS227'

BibTeX

@article{DBLP:tr/ibm/IWBS227,
  author    = {Reiner H{\"a}hnle and
               Bernhard Beckert and
               Stefan Gerberding and
               Werner Kernig},
  title     = {The Many-Valued Theorem Prover $_{\mbox{3}}$T$^{\mbox{A}}$P},
  journal   = {IWBS Report},
  publisher = {IBM Germany Science Center, Institute for Knowledge Based
               Systems},
  volume    = {227},
  year      = {1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}