Title: Automated Theorem Proving in Non-Classical Logics