Nikolaj Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach. Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports, 5(9):18-37, 2015. [doi]
@article{BjornerBSW15,
title = {Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)},
author = {Nikolaj Bjørner and Jasmin Christian Blanchette and Viorica Sofronie-Stokkermans and Christoph Weidenbach},
year = {2015},
doi = {10.4230/DagRep.5.9.18},
url = {http://dx.doi.org/10.4230/DagRep.5.9.18},
researchr = {https://researchr.org/publication/BjornerBSW15},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {5},
number = {9},
pages = {18-37},
}