Formally Testing Liveness by Means of Compression Rates | Publicación