The University of Warwick Library - WebBridge

FO model checking of interval graphs
Ganian, Robert.  Logical Methods in Computer Science.  v. 11. no. 4.   2015-12. p. 1 - 20... issn: 1860-5974 .   

Online access not found

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