Sofronie-Stokkermans, Viorica Programming Logics, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, V. (2001). Representation Theorems and the Semantics of (Semi)Lattice-based Logics. In Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics (pp. 125-134). Los Alamitos, CA: IEEE.