@inBook{OHerJLip08a,
author = {O.~Hermant and J.~Lipton},
title = {volume in honor of Andrews' 70th birthday (ed. Chad Brown)},
chapter = {A constructive proof of cut elimination in the
{I}ntuitionistic {T}heory of {T}ypes
with axioms and Rewriting cuts},
publisher = {Elsevier},
note = {to appear},
projects = {MERIT,PROMESAS},
butype = {incollection},
year = {2008}
}