Analysis and manipulation of Boolean functions in terms of decision graphs - Gergov, Jordan; Meinel, Christoph (1992)