A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem

Lagniez et al. "A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/94

[Lagniez et al. "A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/lagniez2017ijcai-recursive/) doi:10.24963/IJCAI.2017/94

@inproceedings{lagniez2017ijcai-recursive,
  title     = {{A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem}},
  author    = {Lagniez, Jean-Marie and Le Berre, Daniel and de Lima, Tiago and Montmirail, Valentin},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {674-680},
  doi       = {10.24963/IJCAI.2017/94},
  url       = {https://mlanthology.org/ijcai/2017/lagniez2017ijcai-recursive/}
}