@inproceedings{BienFarMarAAAI10, Author = {Meghyn Bienvenu and {H\'el\`ene} Fargier and Pierre Marquis}, Booktitle = {Proceedings of the Twenty-Fifth Conference on Artificial Intelligence (AAAI-10)}, Title = {Knowledge Compilation in the Modal Logic {S5}}, Year = {2010}, pages= {261-266} }