IMP with exceptions over decorated logic

Burak Ekici. IMP with exceptions over decorated logic. Discrete Mathematics & Theoretical Computer Science, 20(2), 2018. [doi]

Abstract

Abstract is missing.