Giovanna Corsi: A Cut-Free Calculus For Dummett's LC Quantified. Math. Log. Q. 35(4): 289-301 (1989)