H.: A sequent calculus for intuitionistic default logic (1997)

by U Egly, Tompits
Venue:In: Proc. WLP’97. Tech. Rep. PMS-FB-1997-10, Institut für Informatik, Ludwig-Maximilians-Universität München