Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov. Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Dagstuhl Reports, 1(7):23-35, 2011. [doi]
@article{BjornerNVV11,
title = {Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)},
author = {Nikolaj Bjørner and Robert Nieuwenhuis and Helmut Veith and Andrei Voronkov},
year = {2011},
doi = {10.4230/DagRep.1.7.23},
url = {http://dx.doi.org/10.4230/DagRep.1.7.23},
researchr = {https://researchr.org/publication/BjornerNVV11},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {1},
number = {7},
pages = {23-35},
}