@PHDTHESIS{saffi2013,
url = "http://www.theses.fr/2013PA090069",
title = "Solving Games and All That",
author = "Saffidine, Abdallah",
year = "2013",
note = "Thèse de doctorat dirigée par Cazenave, Tristan Informatique Paris 9 2013",
note = "2013PA090069",
url = "http://www.theses.fr/2013PA090069/document",
}