Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail. A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.
Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.674-680.
⟨hal-02271412⟩