Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas | Publicación