Polynomial-time algorithms for generation of prime implicants. - Tadeusz Strzemecki (J. Complex., 1992)

Widening ROBDDs with Prime Implicants. - Neil Kettle; Andy King; Tadeusz Strzemecki (TACAS, 2006)