Erich Grädel, Martin Otto: Guarded Teams: The Horizontally Guarded Case. CSL 2020: 22:1-22:17