CHIMANI, M., KANDYBA, M., LJUBIC, I. and MUTZEL, P. (2008). Obtaining optimal k-cardinality trees fast. In: ALENEX. SIAM, pp. 27-36.