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

Nikolaj Bjørner, Andrei Voronkov (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics