@inproceedings{LPAR2024:Generic_Deskolemization_Strategy,
  author    = {Johann Rosain and Richard Bonichon and Julie Cailler and Olivier Hermant},
  title     = {A Generic Deskolemization Strategy},
  booktitle = {Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {100},
  pages     = {246--263},
  year      = {2024},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/VgpS},
  doi       = {10.29007/g1tm}}