THE LOGICAL STRENGTH OF BÜCHI'S DECIDABILITY THEOREM. - KOŁODZIEJCZYK, LESZEK A.; MICHALEWSKI, HENRYK; PRADIC, CÉCILIA; SKRZYPCZAK, MICHAŁ (Logical Methods in Computer Science (LMCS), 2019)