"The Efficiency of Automated Theorem Proving by Translation to Less ..."

Negin Arhami, Geoff Sutcliffe (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics