%0 Conference Paper %1 conf/wlp/EglyT97 %A Egly, Uwe %A Tompits, Hans %B WLP %D 1997 %E Bry, François %E Freitag, Burkhard %E Seipel, Dietmar %I Ludwig Maximilians Universität München %K dblp %T A Sequent Calculus for Intuitionistic Default Logic. %U http://dblp.uni-trier.de/db/conf/wlp/wlp97.html#EglyT97

@inproceedings{conf/wlp/EglyT97, added-at = {2019-08-07T00:00:00.000+0200}, author = {Egly, Uwe and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/2fb988eb4f0044ac1da53f6614d0b0de6/dblp}, booktitle = {WLP}, crossref = {conf/wlp/1997}, editor = {Bry, François and Freitag, Burkhard and Seipel, Dietmar}, interhash = {87a0b635ba1b725f7b07def5b9f37e4e}, intrahash = {fb988eb4f0044ac1da53f6614d0b0de6}, keywords = {dblp}, publisher = {Ludwig Maximilians Universität München}, timestamp = {2019-08-08T11:41:44.000+0200}, title = {A Sequent Calculus for Intuitionistic Default Logic.}, url = {http://dblp.uni-trier.de/db/conf/wlp/wlp97.html#EglyT97}, year = 1997 }