@article{GM16, author = {A. Genitrini and C. Mailler}, title = {{Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability}}, journal = {{Algorithmica}}, volume = {1}, pages = {1--33}, year = {2016} }