Otten, J. (2013). Connection calculi for automated theorem proving in classical and non-classical logics.
Chicago Style (17th ed.) CitationOtten, Jens. Connection Calculi for Automated Theorem Proving in Classical and Non-classical Logics. 2013.
MLA (9th ed.) CitationOtten, Jens. Connection Calculi for Automated Theorem Proving in Classical and Non-classical Logics. 2013.
Warning: These citations may not always be 100% accurate.