@article{GanianHlinenyKral16,
 author = {Robert Ganian and Petr Hlinen\' y and Daniel Kr\' al and Jan Obdrz\'alek and Jarett Schwartz and Jakub Teska},
 journal = {Logical Methods in Computer Science},
 keywords = {xtract},
 number = {4},
 title = {FO Model Checking of Interval Graphs},
 url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1822&layout=abstract},
 volume = {11},
 year = {2016}
}