@PhdThesis{HERPhD05,
   author = {Olivier Hermant},
   title = {M\'{e}thodes S\'{e}mantiques en D\'{e}duction Modulo},
   school = {Universit\'{e} Paris 7 - Denis Diderot},
   year = {2005}
}

@inProceedings{HER05,
  author = {Olivier Hermant},
  title = {Semantic cut elimination in the Intuitionistic Sequent Calculus},
  year = {2005},
  booktitle = {Typed Lambda-Calculi and Applications},
  address = {Nara, Japan},
  editor = {Pawel Urzyczyn},
  series = {Lecture Notes in Computer Science}
  volume = {3461},
  publisher = {Springer-Verlag},
  pages = {221--233}
}

@Article{HER03,
  author = {Olivier Hermant},
  title = {A Model-based Cut Elimination Proof},
  year = {2003},
  journal = {2nd St-Petersburg Days of Logic and Computability},
  address = {Saint-Petersburg, Russia}
}

@inProceedings{BH06,
  author = {Richard Bonichon and Olivier Hermant},
  title = {A semantic completeness proof for TaMeD},
  year = {2006},
  booktitle = {LPAR},
  address = {Phnom Penh, Cambodia},
  series = {LNCS},
  volume = {4246},
  publisher={Springer-Verlag},
  pages={167--181}
}