Automated Theorem Proving by Translation to Description Logic.

Negin Arhami, Geoff Sutcliffe

Browse the full LPAR paper archive.