LJQ: a strongly focused calculus for intuitionistic logic (2006)

by R Dyckhoff, S Lengrand
Venue:Computability in Europe 2006, volume 3988 of LNCS