Random Formula Generators. - Ariel J. Roffe; Joaquin S. Toranzo Calderon (CoRR, 2021)