Sofronie-Stokkermans, Viorica Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2001). Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators. Multiple-Valued Logic - An International Journal, 6(3/4), 289-344.