P. Kocuvan, E. Dovgan, S. Ražman, D. Palčič, and M. Gams, “Applications of the Insieme Platform: A Case Study”, IJCAI, vol. 46, no. 4, Dec. 2022.