Marcel R. Ackermann, Johannes Blmer, Daniel Kuntze, Christian Sohler
Browse the full STACS paper archive.