Using EDT0L systems to solve equations in the solvable Baumslag-Solitar groups - Andrew Duncan; Alex Evetts; Derek F. Holt; Sarah Rees (2022)