TY - RPRT TI - Loop conditions with strongly connected graphs AU - Miroslav Olšák PY - 2018 UR - https://arxiv.org/abs/1810.03177 ID - 1810.03177 ER -