Parosh Aziz Abdulla Mohamed Faouzi Atig Stefanos Kaxiras Carl Leonardsson Alberto Ros 0001 Yunyun Zhu Fencing Programs with Self-Invalidation and Self-Downgrade. 19-35 2016 FORTE https://doi.org/10.1007/978-3-319-39570-8_2 conf/forte/2016 db/conf/forte/forte2016.html#AbdullaAKLRZ16