"Combining Interactive and Automatic Reasoning in First Order Theories of ..."

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics