Boolean Monadic Recursive Schemes as a Logical Characterization of the Subsequential Functions. - Siddharth Bhaskar; Jane Chandlee; Adam Jardine; Christopher Oakden (LATA, 2020)