FO Model Checking of Interval Graphs (bibtex)
by R. Ganian, P. Hliněný, D. Krá\vl, J. Obdržálek, J. Schwartz, J. Teska
Reference:
FO Model Checking of Interval Graphs (R. Ganian, P. Hliněný, D. Krá\vl, J. Obdržálek, J. Schwartz, J. Teska), In Log. Methods Comput. Sci., volume 11, 2015.
Bibtex Entry:
@ARTICLE{lmcs15:intervals,
  AUTHOR = {Ganian, R. and Hliněn\'{y}, P. and Kr\'{a}\v{l}, D. and Obdrž\'{a}lek, J. and Schwartz, J. and Teska, J.},
  YEAR = {2015},
  DOI = {10.2168/LMCS-11(4:11)2015},
  JOURNAL = {Log. Methods Comput. Sci.},
  NUMBER = {4},
  TITLE = {{FO} Model Checking of Interval Graphs},
  VOLUME = {11},
}
Powered by bibtexbrowser