Focusing and polarization in intuitionistic logic (2007)

by C Liang, D Miller
Venue:CSL 2007: Computer Science Logic, volume 4646 of LNCS