FO Model Checking of Interval Graphs.

Robert Ganian, Petr Hlinen, Daniel Krl', Jan Obdrzlek, Jarett Schwartz, Jakub Teska

Browse the full ICALP paper archive.