%0 Journal Article %A Ekici , Burak %T IMP with exceptions over decorated logic %J Discrete mathematics & theoretical computer science %D 2018 %V 20 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-20-2-11/ %R 10.23638/DMTCS-20-2-11 %G en %F DMTCS_2018_20_2_a11