R. Onaka, K. Nakamura, M. Nishino, and N. Yasuda, “An And-Sum Circuit with Signed Edges That Is More Succinct than SDD”, AAAI, vol. 39, no. 14, pp. 15100–15108, Apr. 2025.