@misc{indiciae5dc84531e954,
  title = {Computing Theory Prime Implicates in Modal Logic},
  author = {Manoj K. Raut},
  year = {2016},
  url = {https://arxiv.org/abs/1512.08366},
  note = {Source identifier: 1512.08366}
}