TY  - RPRT
TI  - Making big steps in trajectories
AU  - Norbert Th. Müller
AU  - Margarita Korovina
PY  - 2010
DO  - 10.4204/eptcs.24.15
UR  - https://arxiv.org/abs/1006.0401
ID  - 1006.0401
ER  -