TY  - RPRT
TI  - Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
AU  - Ramit Das
AU  - R. Ramanujam
AU  - Sunil Simon
PY  - 2019
DO  - 10.4204/eptcs.297.8
UR  - https://arxiv.org/abs/1907.09100
ID  - 1907.09100
ER  -