Huang, X.; Fang, K.; Fang, L.; Chen, Q.; Lai, Z.-R.; Wei, L. Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions. AAAI 2019, 33, 2867-2875.