Recherche Nf and Logic