Ron Rymon An Se-Tree-Based Prime Implicant Generation Algorithm. 351-366 1994 11 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai11.html#Rymon94