%0 Journal Article %1 journals/ijcm/RautS04 %A Raut, Manoj K. %A Singh, Arindama %D 2004 %J Int. J. Comput. Math. %K dblp %N 2 %P 157-167 %T Prime implicants of first order formulas via transversal clauses. %U http://dblp.uni-trier.de/db/journals/ijcm/ijcm81.html#RautS04 %V 81

@article{journals/ijcm/RautS04, added-at = {2018-11-02T00:00:00.000+0100}, author = {Raut, Manoj K. and Singh, Arindama}, biburl = {https://www.bibsonomy.org/bibtex/2fa281ee3b4fd422090670b004ecdd26f/dblp}, ee = {https://doi.org/10.1080/00207160310001650071}, interhash = {61d84cc3db75714117470258298155a2}, intrahash = {fa281ee3b4fd422090670b004ecdd26f}, journal = {Int. J. Comput. Math.}, keywords = {dblp}, number = 2, pages = {157-167}, timestamp = {2018-11-03T12:33:15.000+0100}, title = {Prime implicants of first order formulas via transversal clauses.}, url = {http://dblp.uni-trier.de/db/journals/ijcm/ijcm81.html#RautS04}, volume = 81, year = 2004 }