Deep inference in bi-intuitionistic logic (2009)

by L Postniece
Venue:In Proc. WoLLIC, LNCS 5514:320–334