On the maximum cardinality search lower bound for treewidth - Bodlaender, Hans L.; Koster, Arie M. C. A. (Konrad-Zuse-Zentrum für Informationstechnik, 2004)