@unpublished{HermantLipton07,
author = {O.~Hermant and J.~Lipton},
note = {in preparation},
title = {Cut Elimination and Semantics of Higher-Order Logic Modulo},
projects = {MERIT,PROMESAS},
butype = {misc},
year = {2007}
}