TY - BOOK AU - Ramanathan Thinniyam Srinivasan TI - Definability and decidability in first order theories of graph order PY - 2019/// ER -