The University of Warwick Library - WebBridge

FO model checking of interval graphs
Ganian, R..  Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II.  v. Volume 7966.   2013. p. 250 - 262... issn: 0302-9743 .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.