M. Dang, P. Khosravi, Y. Liang, A. Vergari, and G. Van den Broeck, “Juice: A Julia Package for Logic and Probabilistic Circuits”, AAAI, vol. 35, no. 18, pp. 16020-16023, May 2021.