DBLP Record 'conf/ijcai/CaferraD93'

BibTeX

@inproceedings{DBLP:conf/ijcai/CaferraD93,
  author    = {Ricardo Caferra and
               St{\'e}phane Demri},
  title     = {Cooperation between Direct Method and Translation Method
               in Non Classical Logics: Some Results in Propositional S5},
  booktitle = {IJCAI},
  year      = {1993},
  pages     = {74-79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}