@inproceedings{DBLP:conf/ismvl/AnsoteguiBMV12,
  author    = {Carlos Ans{\'o}tegui and
               Miquel Bofill and
               Felip Many{\`a} and
               Mateu Villaret},
  title     = {Building Automated Theorem Provers for Infinitely-Valued
               Logics with Satisfiability Modulo Theory Solvers},
  booktitle = {ISMVL},
  year      = {2012},
  pages     = {25-30},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2012.63},
  crossref  = {DBLP:conf/ismvl/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ismvl/2012,
  editor    = {D. Michael Miller and
               Vincent C. Gaudet},
  title     = {42nd IEEE International Symposium on Multiple-Valued Logic,
               ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012},
  booktitle = {ISMVL},
  publisher = {IEEE},
  year      = {2012},
  isbn      = {978-1-4673-0908-0},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6214742},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}