On the use of OR-BDDs for test generation. - Lech Józwiak; Hein Mijland (Microprocess. Microprogramming, 1992)