Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis, A Fixed Point Theorem on Lexicographic Lattice Structures, In 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 8-11 July, ACM, (Pages: 301-311), 2020. [url] [doi]