@PHDTHESIS{elour2021,
url = "http://www.theses.fr/2021LORR0023",
title = "Méthodes pour le raisonnement d'ordre supérieur dans SMT",
author = "El Ouraoui, Daniel",
year = "2021",
note = "Thèse de doctorat dirigée par Merz, Stephan et Fontaine, Pascal Informatique Université de Lorraine 2021",
note = "2021LORR0023",
url = "http://www.theses.fr/2021LORR0023/document",
}