@inproceedings{RBCH24,
  author    = "{Rosain, Johann and Bonichon, Richard and Cailler, Julie and Hermant, Olivier}",
  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},
  year      = {2024},
  pages     = {246--263},
  publisher = "{EasyChair}",
  issn      = {2398-7340},
  doi       = {10.29007/g1tm}
}