"Applied Logic for Computer Scientists - Computational Deduction and Formal ..."

Mauricio Ayala-Rincón, Flávio L. C. de Moura (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics