Uwe Egly Hans Tompits A Sequent Calculus for Intuitionistic Default Logic. 0- 1997 WLP db/conf/wlp/wlp97.html#EglyT97