Uwe Egly, Hans Tompits. A Sequent Calculus for Intuitionistic Default Logic. In WLP. 1997.
@inproceedings{EglyT97:1, title = {A Sequent Calculus for Intuitionistic Default Logic}, author = {Uwe Egly and Hans Tompits}, year = {1997}, tags = {logic}, researchr = {https://researchr.org/publication/EglyT97%3A1}, cites = {0}, citedby = {0}, booktitle = {WLP}, }