APA (7th ed.) Citation

Raths, T. (2014). Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics.

Chicago Style (17th ed.) Citation

Raths, Thomas. Benchmark Libraries for Automated Theorem Proving Systems in Intuitionistic and Modal Logics. 2014.

MLA (9th ed.) Citation

Raths, Thomas. Benchmark Libraries for Automated Theorem Proving Systems in Intuitionistic and Modal Logics. 2014.

Warning: These citations may not always be 100% accurate.