Submodel Enumeration for CTL Is Hard.

Nicolas Frhlich, Arne Meier

Browse the full AAAI paper archive.