"Automated Reasoning - 8th International Joint Conference, IJCAR 2016, ..."

Nicola Olivetti, Ashish Tiwari (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics