The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics.

Negin Arhami, Geoff Sutcliffe

Browse the full CADE paper archive.