Bienvenu, M.; Fargier, H.; Marquis, P. Knowledge Compilation in the Modal Logic S5. AAAI 2010, 24, 261-266.