Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2000). Resolution-based theorem proving for SHn-logics. In Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98) (pp. 268-282). Berlin, Germany: Springer.