@PHDTHESIS{tushk2013,
url = "http://www.theses.fr/2013BESA2009",
title = "Schematic calculi for the analysis of decision procedures",
author = "Tushkanova, Elena",
year = "2013",
note = "Thèse de doctorat dirigée par Kouchnarenko, OlgaRingeissen, Christophe et Giorgetti, Alain Informatique Besançon 2013",
note = "2013BESA2009",
url = "http://www.theses.fr/2013BESA2009/document",
}