@PHDTHESIS{ouazz2016,
url = "http://www.theses.fr/2016MONTT280",
title = "Construction de liens entre algorithmique et logique par du calcul à temps infini",
author = "Ouazzani, Sabrina",
year = "2016",
note = "Thèse de doctorat dirigée par Durand, Bruno Informatique Montpellier 2016",
note = "2016MONTT280",
}