BibTex format
@inproceedings{van:2019:10.1145/3354166.3354186,
author = {van, Bakel S},
doi = {10.1145/3354166.3354186},
publisher = {ACM},
title = {Exception handling and classical logic},
url = {http://dx.doi.org/10.1145/3354166.3354186},
year = {2019}
}