%0 Journal Article %1 journals/corr/DumasDR13a %A Dumas, Jean-Guillaume %A Duval, Dominique %A Reynaud, Jean-Claude %D 2013 %J CoRR %K %T A decorated proof system for exceptions. %U http://dblp.uni-trier.de/db/journals/corr/corr1310.html#DumasDR13a %V abs/1310.2338

@article{journals/corr/DumasDR13a, added-at = {2023-12-13T05:24:42.000+0100}, author = {Dumas, Jean-Guillaume and Duval, Dominique and Reynaud, Jean-Claude}, biburl = {https://www.bibsonomy.org/bibtex/21623092dc227496f0fd53d19c4c04055/admin}, ee = {http://arxiv.org/abs/1310.2338}, interhash = {a238328ac092577f14671c96d7ccf657}, intrahash = {1623092dc227496f0fd53d19c4c04055}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T05:24:42.000+0100}, title = {A decorated proof system for exceptions.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1310.html#DumasDR13a}, volume = {abs/1310.2338}, year = 2013 }