Combinational logic verification with FBDDs - Gergov, Jordan; Meinel, Christoph (1993)
Keywords: Algebra, Boolean; Binary system (Mathematics)