K*BMDs: A New Data Structure for Verification. - Rolf Drechsler; Bernd Becker 001; Stefan Ruppertz (ED&TC, 1996)

Manipulation Algorithms for K*BMDs. - Rolf Drechsler; Bernd Becker 001; Stefan Ruppertz (TACAS, 1997)

The K*BMD: A Verification Data Structure. - Rolf Drechsler; Bernd Becker 001; Stefan Ruppertz (IEEE Des. Test Comput., 1997)