J. Dameris, R. Hernandez Roman, and M. Kreminski, “Praxish: A Rational Reconstruction of a Logic-Based DSL for Modeling Social Practices”, AIIDE, vol. 19, no. 1, pp. 407–415, Oct. 2023.