Title: Automated Theorem-Proving in Non-Classical Logics