@misc{indiciae4628f74493a1,
  title = {An Algorithm for Computing Prime Implicates in Modal Logic Using Resolution},
  author = {Manoj K. Raut},
  year = {2019},
  url = {https://arxiv.org/abs/1811.04566},
  note = {Source identifier: 1811.04566}
}