https://123dok.org/document/zlgj0vjo-binary-decision-diagrams.html