@PhDThesis{hdrlaurent,
  author = {Olivier Laurent},
  title  = {Investigations classiques, complexes et concurrentes \`a l'aide de la logique lin\'eaire},
  school = {{U}niversit\'e {P}aris~{VII}},
  type   = {Habilitation \`a diriger des recherches},
  month  = feb,
  year   = {2010}
}