@PHDTHESIS{houtm2010,
url = "http://www.theses.fr/2010NAN10026",
title = "Représentation et interaction des preuves en superdéduction modulo",
author = "Houtmann, Clément",
year = "2010",
note = "Thèse de doctorat dirigée par Kirchner, Claude Informatique Nancy 1 2010",
note = "2010NAN10026",
url = "http://www.theses.fr/2010NAN10026/document",
}