Ramaswamy Ramanujam, R. S. Thinniyam. Definability in First Order Theories of Graph Orderings. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Volume 9537 of Lecture Notes in Computer Science, pages 331-348, Springer, 2016. [doi]
Abstract is missing.