P379: Enumeration of all binary trees with $n$ vertices

P379: Enumeration of all binary trees with $n$ vertices
Input:
An integer $n$.
Output:
All binary trees with $n$ vertices.
Complexity:
Comment:
Reference:
[Proskurowski1980] (Bibtex)