@article {RP-85-04,
	title = {Binary-decision graphs for implementation of boolean functions},
	journal = {IEE Proceedings},
	year = {1985},
	pages = {175-185},
	author = {M. Silva and R. David}
}

