Anavai Ramesh George Becker Neil V. Murray On Computing Prime Implicants and Prime Implicates. 73-75 1992 TABLEAUX db/conf/tableaux/tableaux92.html#RameshBM92