Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2007). Automated theorem proving by resolution in non-classical logics. Annals of Mathematics and Artificial Intelligence, 49(1-4), 221-252. doi:10.1007/s10472-007-9051-8.