TY  - RPRT
TI  - Computing Theory Prime Implicates in Modal Logic
AU  - Manoj K. Raut
PY  - 2016
UR  - https://arxiv.org/abs/1512.08366
ID  - 1512.08366
ER  -