@inproceedings{GM14, author = {A. Genitrini and C. Mailler}, title = {{Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem}}, howpublished = {LNCS}, booktitle = {Latin {A}merican {T}heoretical {IN}formatics}, editor = {Springer-Verlag}, volume = {8392}, month = {March}, address = {Motevideo, {U}ruguay}, year = {2014}, pages = {466--477}, }