Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli. Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). Dagstuhl Reports, 9(9):23-44, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.