Manoj K. Raut, Arindama Singh. Prime implicants of first order formulas via transversal clauses. Int. J. Comput. Math., 81(2):157-167, 2004. [doi]
@article{RautS04:0,
title = {Prime implicants of first order formulas via transversal clauses},
author = {Manoj K. Raut and Arindama Singh},
year = {2004},
url = {http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0020-7160&volume=81&issue=2&spage=157},
researchr = {https://researchr.org/publication/RautS04%3A0},
cites = {0},
citedby = {0},
journal = {Int. J. Comput. Math.},
volume = {81},
number = {2},
pages = {157-167},
}