Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2003). Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving. In M. Fitting, & E. Orlowska (Eds.), Beyond Two: Theory and Applications of Multiple Valued Logic (pp. 59-100). Berlin, Germany: Springer.