"Automated Deduction - CADE-23 - 23rd International Conference on Automated ..."

Nikolaj Bjørner, Viorica Sofronie-Stokkermans (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics