M. Bienvenu, H. Fargier, and P. Marquis, “Knowledge Compilation in the Modal Logic S5”, AAAI, vol. 24, no. 1, pp. 261–266, Jul. 2010.