TY  - RPRT
TI  - Loops under Strategies ... Continued
AU  - René Thiemann
AU  - Christian Sternagel
AU  - Jürgen Giesl
AU  - Peter Schneider-Kamp
PY  - 2010
DO  - 10.4204/eptcs.44.4
UR  - https://arxiv.org/abs/1012.5563
ID  - 1012.5563
ER  -