Jacqueline Vauzeilles Cut Elimination for the Unified Logic. 1-16 1993 62 Ann. Pure Appl. Logic 1 db/journals/apal/apal62.html#Vauzeilles93