Logical Approach to Automatic Sequences | lit.salon