A first-order logic characterisation of safety and co-safety languages.

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta

Browse the full FOSSACS paper archive.