@InProceedings{bienvenu-aaai07, author = {M. Bienvenu}, title = {Prime Implicates and Prime Implicants in Modal Logic}, booktitle = {Proceedings of the Twenty-Second Conference on Artificial Intelligence (AAAI-07)}, year = 2007, pages = {397-384}}