Matthias Baaz (joint work with Michel Parigot):

Fast Cut-Elimination for LJ 

ABSTRACT STIIL TO BE FINALIZED