A Weak First-Order Theory of Sequences.

Lars Kristiansen, Juvenal Murwanashyaka

Browse the full CiE paper archive.