Dang, Meihua, Pasha Khosravi, Yitao Liang, Antonio Vergari, and Guy Van den Broeck. 2021. “Juice: A Julia Package for Logic and Probabilistic Circuits”. Proceedings of the AAAI Conference on Artificial Intelligence 35 (18):16020-23. https://doi.org/10.1609/aaai.v35i18.17999.