Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli. Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). Dagstuhl Reports, 9(9):23-44, 2019. [doi]
@article{FuhsRST19, title = {Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)}, author = {Carsten Fuhs and Philipp Rümmer and Renate A. Schmidt and Cesare Tinelli}, year = {2019}, doi = {10.4230/DagRep.9.9.23}, url = {https://doi.org/10.4230/DagRep.9.9.23}, researchr = {https://researchr.org/publication/FuhsRST19}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {9}, number = {9}, pages = {23-44}, }