@misc{indiciaea490d920e6de,
  title = {On first-order expressibility of satisfiability in submodels},
  author = {Denis I. Saveliev},
  year = {2019},
  doi = {10.1007/978-3-662-59533-6\_35},
  url = {https://arxiv.org/abs/1903.04993},
  note = {Source identifier: 1903.04993}
}