@inproceedings{12563,
  title = "On Computational Tractability for Rational Verification",
  author = "Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge",
  year = "2019",
  booktitle = "IJCAI",
  url = "https://www.ijcai.org/proceedings/2019/0047.pdf",
}