@misc{indiciaef4cf28b7ea42,
  title = {Reasoning about Social Choice and Games in Monadic Fixed-Point Logic},
  author = {Ramit Das and R. Ramanujam and Sunil Simon},
  year = {2019},
  doi = {10.4204/eptcs.297.8},
  url = {https://arxiv.org/abs/1907.09100},
  note = {Source identifier: 1907.09100}
}