"Logic for Programming, Artificial Intelligence, and Reasoning - 16th ..."

Edmund M. Clarke, Andrei Voronkov (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics