Dang, M.; Khosravi, P.; Liang, Y.; Vergari, A.; Van den Broeck, G. Juice: A Julia Package for Logic and Probabilistic Circuits. AAAI 2021, 35, 16020-16023.