%0 Journal Article %1 journals/dagstuhl-reports/BjornerBSW15 %A Bjørner, Nikolaj %A Blanchette, Jasmin Christian %A Sofronie-Stokkermans, Viorica %A Weidenbach, Christoph %D 2015 %J Dagstuhl Reports %K %N 9 %P 18-37 %T Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports5.html#BjornerBSW15 %V 5

@article{journals/dagstuhl-reports/BjornerBSW15, added-at = {2023-12-12T22:13:52.000+0100}, author = {Bjørner, Nikolaj and Blanchette, Jasmin Christian and Sofronie-Stokkermans, Viorica and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2e46c27b26fda89a1a51cca74ee5d6ed7/admin}, ee = {http://dx.doi.org/10.4230/DagRep.5.9.18}, interhash = {48501d74bf664c241467130195333be0}, intrahash = {e46c27b26fda89a1a51cca74ee5d6ed7}, journal = {Dagstuhl Reports}, keywords = {}, number = 9, pages = {18-37}, timestamp = {2023-12-12T22:13:52.000+0100}, title = {Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports5.html#BjornerBSW15}, volume = 5, year = 2015 }