Azuraliza Abu Bakar Md Nasir Sulaiman Mohamed Othman Mohd Hasan Selamat Propositional Satisfiability Algorithm to Find Minimal Reducts for Data Mining. 379-389 2002 79 Int. J. Comput. Math. 4 http://taylorandfrancis.metapress.com/openurl.asp?genre=article&issn=0020-7160&volume=79&issue=4&spage=379 db/journals/ijcm/ijcm79.html#BakarSOS02