@inproceedings{DBLP:conf/ismvl/AnsoteguiBMV11,
  author    = {Carlos Ans{\'o}tegui and
               Miquel Bofill and
               Felip Many{\`a} and
               Mateu Villaret},
  title     = {Extending Multiple-Valued Clausal Forms with Linear Integer
               Arithmetic},
  booktitle = {ISMVL},
  year      = {2011},
  pages     = {230-235},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2011.53},
  crossref  = {DBLP:conf/ismvl/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ismvl/2011,
  editor    = {Jaakko Astola and
               Radomir S. Stankovic},
  title     = {41st IEEE International Symposium on Multiple-Valued Logic,
               ISMVL 2011, Tuusula, Finland, May 23-25, 2011},
  booktitle = {ISMVL},
  publisher = {IEEE},
  year      = {2011},
  isbn      = {978-0-7695-4405-2},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5952386},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}