Computing Theory Prime Implicates in Modal Logic.

Manoj K. Raut, Tushar V. Kokane, Rishabh Agarwal

Browse the full ISDA paper archive.