Computing Theory Prime Implicates in Modal Logic. - Manoj K. Raut; Tushar V. Kokane; Rishabh Agarwal (ISDA, 2017)