@phdthesis{elouraoui2021-phd,
  TITLE = {{M{\'e}thodes pour le raisonnement d'ordre sup{\'e}rieur dans SMT}},
  AUTHOR = {El Ouraoui, Daniel},
  URL = {https://hal.univ-lorraine.fr/tel-03203922},
  NUMBER = {2021LORR0023},
  SCHOOL = {{Universit{\'e} de Lorraine}},
  YEAR = {2021},
  MONTH = Feb,
  TYPE = {Theses},
  PDF = {https://hal.univ-lorraine.fr/tel-03203922/file/DDOC_T_2021_0023_EL_OURAOUI.pdf},
}