GanzingerS00'

BibTeX

@inproceedings{DBLP:conf/ismvl/GanzingerS00,
  author    = {Harald Ganzinger and
               Viorica Sofronie-Stokkermans},
  title     = {Chaining Techniques for Automated Theorem Proving in Many-Valued
               Logics},
  booktitle = {ISMVL},
  year      = {2000},
  pages     = {337-344},
  ee        = {http://computer.org/proceedings/ismvl/0692/06920337abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}