TY  - RPRT
TI  - First-Order Concatenation Theory with Bounded Quantifiers
AU  - Lars Kristiansen
AU  - Juvenal Murwanashyaka
PY  - 2020
UR  - https://arxiv.org/abs/2003.04964
ID  - 2003.04964
ER  -