Manoj K. Raut, An Incremental Algorithm for Computing Prime Implicates in Modal Logic, In Proceedings of Theory and Applications of Models of Computation (TAMC) 2014, LNCS 8402, pp 188-202, 2014.https://link.springer.com/chapter/10.1007/978-3-319-06089-7_13
Manoj K. Raut, and Arindama Singh, Computing Prime Implicants of First Order formulas via Transversal Clauses, International Journal of Computer Mathematics, Vol. 81, No. 2, 157-167, Feb. 2004.https://doi.org/10.1080/00207160310001650071