Efficient Representations for the Modal Logic S5

Niveau and Zanuttini. "Efficient Representations for the Modal Logic S5." International Joint Conference on Artificial Intelligence, 2016.

[Niveau and Zanuttini. "Efficient Representations for the Modal Logic S5." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/niveau2016ijcai-efficient/)

@inproceedings{niveau2016ijcai-efficient,
  title     = {{Efficient Representations for the Modal Logic S5}},
  author    = {Niveau, Alexandre and Zanuttini, Bruno},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {1223-1229},
  url       = {https://mlanthology.org/ijcai/2016/niveau2016ijcai-efficient/}
}