X. Huang, K. Fang, L. Fang, Q. Chen, Z.-R. Lai, and L. Wei, “Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions”, AAAI, vol. 33, no. 01, pp. 2867-2875, Jul. 2019.