ArieliA98'

BibTeX

@inproceedings{DBLP:conf/lics/ArieliA98,
  author    = {Ofer Arieli and
               Arnon Avron},
  title     = {The Logical Role of the Four-Valued Bilattice},
  booktitle = {LICS},
  year      = {1998},
  pages     = {118-126},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}