Definability on a Random 3-CNF Formula | Publicación