Dang, M., P. Khosravi, Y. Liang, A. Vergari, and G. Van den Broeck. “Juice: A Julia Package for Logic and Probabilistic Circuits”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 18, May 2021, pp. 16020-3, doi:10.1609/aaai.v35i18.17999.