Itay Berman, Iftach Haitner, Eliad Tsfadia: A Tight Parallel-Repetition Theorem for Random-Terminating Interactive Arguments. Electron. Colloquium Comput. Complex. TR19: Article TR19-049 (2019)