@INPROCEEDINGS{UrbanBierman99,
AUTHOR = {C.~Urban and G.M.~Bierman},
TITLE = {{S}trong {N}ormalisation of {C}ut-{E}limination
in {C}lassical {L}ogic},
BOOKTITLE = {Typed Lambda Calculi and Applications},
EDITOR = {J.-Y.~Girard},
PAGES = {365--380},
SERIES = {LNCS},
VOLUME = 1581,
PUBLISHER = {Springer Verlag},
YEAR = 1999
}