Computational indistinguishability logic | Publicación