P. Illner, “New Compilation Languages Based on Restricted Weak Decomposability”, AAAI, vol. 39, no. 14, pp. 14987–14996, Apr. 2025.