P. Eleftheriou, C. D. Koutras.
Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic.
Journal of Applied Non-Classical Logics, 15(4): 367-388, 2005.
C. D. Koutras, Ath. Gaga and P. Peppas.
A Formal Conciseness Assessment of AR0
In Proceedings of HERCMA 2003, Sixth Hellenic European Conference on Computer Mathematics
and its Applications, Athens, September 2003.