Submodel Enumeration of Kripke Structures in Modal Logic.

Nicolas Frhlich, Arne Meier

Browse the full AiML paper archive.