Roy Dyckhoff, Stéphane Lengrand: LJQ: A Strongly Focused Calculus for Intuitionistic Logic. CiE 2006: 173-185