Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2003). Automated theorem proving by resolution in non-classical logics. In Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03) (pp. 151-167). Domaine de Voulceau - Rocquencourt, France: INRIA.