@article{DMTCS_2018_20_2_a11,
     author = {Ekici , Burak},
     title = {IMP with exceptions over decorated logic},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {20},
     number = {2},
     year = {2018},
     doi = {10.23638/DMTCS-20-2-11},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-20-2-11/}
}