Joel D. Day, Matthew Konefal: Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems. RP 2025: 51-67