CaferraZ90'

BibTeX

@inproceedings{DBLP:conf/aimsa/CaferraZ90,
  author    = {Ricardo Caferra and
               Nicolas Zabel},
  title     = {An Application of Many-Valued Logic to Decide Propositional
               S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based
               Theorem Prover},
  booktitle = {AIMSA},
  year      = {1990},
  pages     = {23-32},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}