TY  - JOUR
AU  - Ekici , Burak
TI  - IMP with exceptions over decorated logic
JO  - Discrete mathematics & theoretical computer science
PY  - 2018
VL  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-20-2-11/
DO  - 10.23638/DMTCS-20-2-11
LA  - en
ID  - DMTCS_2018_20_2_a11
ER  -