@misc{Schubert, type = {Master Thesis}, author = {Schubert, Christoph}, title = {Multi-Level Lookahead Branching}, language = {en} }