Thomas Blsius, Tobias Friedrich, Maximilian Katzmann, Daniel Stephan
Browse the full STACS paper archive.