Does computer CTG slove problems?

Karolina Jakubiec-Wiśniewska, Tomasz Piskorz, Rafał Witkowski, Hubert Huras, Krzysztof Rytlewski