@inproceedings{GanianHKOST13,
 author = {Robert Ganian and
Petr Hlinen{\'{y}} and
Daniel Kr{\'{a}}l' and
Jan Obdrz{\'{a}}lek and
Jarett Schwartz and
Jakub Teska},
 booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
 pages = {250--262},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {{FO} Model Checking of Interval Graphs},
 volume = {7966},
 year = {2013}
}