Andrei99'

BibTeX

@inproceedings{DBLP:conf/esslli/Andrei99,
  author    = {Stefan Andrei},
  title     = {Weak Equivalence in Propositional Calculus},
  booktitle = {ESSLLI Student Papers},
  year      = {1999},
  pages     = {79-90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}