Enumerating All Rooted Trees Including k Leaves. - Masanobu Ishikawa; Katsuhisa Yamanaka; Yota Otachi; Shin-Ichi Nakano (IEICE Trans. Inf. Syst., 2012)