Friedrich, D. English Summary. RDUNISC 2014.