Jeffrey O. Shallit: Proving Results About OEIS Sequences with Walnut. CICM 2023: 270-282