N. Fröhlich and A. Meier, “Submodel Enumeration for CTL Is Hard”, AAAI, vol. 38, no. 9, pp. 10517-10524, Mar. 2024.