Ghilezan, Silvia, Cut elimination in the simply lambda calculus, 21-24, 1997, Πανεπιστήμιο Κύπρου,