"Automated Reasoning - 6th International Joint Conference, IJCAR 2012, ..."

Bernhard Gramlich, Dale Miller, Uli Sattler (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics