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://ojs.aaai.org/index.php/AAAI/article/view/17999.