@article{DBLP:journals/mvl/AnsoteguiBMV15,
  author    = {Carlos Ans{\'{o}}tegui and
               Miquel Bofill and
               Felip Many{\`{a}} and
               Mateu Villaret},
  title     = {{SAT} and {SMT} Technology for Many-Valued Logics},
  journal   = {J. Multiple Valued Log. Soft Comput.},
  volume    = {24},
  number    = {1-4},
  pages     = {151--172},
  year      = {2015},
  url       = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-151-172/},
  timestamp = {Thu, 02 Apr 2020 08:38:27 +0200},
  biburl    = {https://dblp.org/rec/journals/mvl/AnsoteguiBMV15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}