%0 Journal Article %1 journals/corr/abs-1302-6043 %A Ganian, Robert %A Hlinený, Petr %A Král, Daniel %A Obdrzálek, Jan %A Schwartz, Jarett %A Teska, Jakub %D 2015 %J Logical Methods in Computer Science %K dblp %N 4 %T FO Model Checking of Interval Graphs %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#abs-1302-6043 %V 11

@article{journals/corr/abs-1302-6043, added-at = {2019-05-14T00:00:00.000+0200}, author = {Ganian, Robert and Hlinený, Petr and Král, Daniel and Obdrzálek, Jan and Schwartz, Jarett and Teska, Jakub}, biburl = {https://www.bibsonomy.org/bibtex/22342581b2472d7f5d318f77bc4dee56b/dblp}, ee = {https://www.wikidata.org/entity/Q57601330}, interhash = {bb4fa67b9240d62dacaad1a4184155e9}, intrahash = {2342581b2472d7f5d318f77bc4dee56b}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 4, timestamp = {2019-05-15T11:50:56.000+0200}, title = {FO Model Checking of Interval Graphs}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs11.html#abs-1302-6043}, volume = 11, year = 2015 }