Safety Is not a Restriction at Level 2 for String Languages.

Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong

Browse the full FOSSACS paper archive.