@misc{Ros23,
  author    = "Rosain, Johann",
  title     = "Skolemisation in First-Order Logic: Certification and Optimisation",
  howpublished = "\url{http://perso.ens-lyon.fr/johann.rosain/upload/reports/bsc-deskolemisation.pdf}"
  month     = "August",
  year      = 2023,
}