bounded-depth (2011)

by Anna Gál , Kristoffer Arnsfelt , Hansen Michal Kouck´y , Pavel Pudlák , Emanuele Viola