@MastersThesis{Laurent98,
  author = {Olivier Laurent},
  title  = {R\'eseaux de preuve polaris\'es~: des r\'eseaux pour {LC}},
  school = {{U}niversit\'e {P}aris {VII}},
  year   = {1998},
  type   = {M\'emoire de {D.E.A.} de Logique et Fondements de l'Informatique},
  month  = sep,
  note   = {Available at \texttt{http://www.pps.jussieu.fr/~laurent/dea.ps.gz}}
}