@Inproceedings{EPTCS243.4,
  author    = {Tendera, Lidia},
  year      = {2017},
  title     = {Finite Model Reasoning in Expressive Fragments of First-Order Logic},
  editor    = {Ghosh, Sujata and Ramanujam, R.},
  booktitle = {{\rm Proceedings of the Ninth Workshop on}
               Methods for Modalities,
               {\rm Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {243},
  publisher = {Open Publishing Association},
  pages     = {43-57},
  doi       = {10.4204/EPTCS.243.4},
}