Dual intuitionistic logic revisited (2000)

by Rajeev Goré
Venue:In TABLEAUX 2000, volume 1847 of LNCS