LJQ: A Strongly Focused Calculus for Intuitionistic Logic.

Roy Dyckhoff, Stphane Lengrand

Browse the full CiE paper archive.