Dang, M., Khosravi, P., Liang, Y., Vergari, A., & Van den Broeck, G. (2021). Juice: A Julia Package for Logic and Probabilistic Circuits. Proceedings of the AAAI Conference on Artificial Intelligence, 35(18), 16020-16023. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/17999