@PHDTHESIS{beatr2016,
url = "http://www.theses.fr/2016ANGE0026",
title = "Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX",
author = "Beatrix, Christopher",
year = "2016",
note = "Thèse de doctorat dirigée par Stephan, Igor Informatique et applications Angers 2016",
note = "2016ANGE0026",
url = "http://www.theses.fr/2016ANGE0026/document",
}