Extending the WMSO+U Logic with Quantification over Tuples. - Anita Badyl; Pawel Parys (CSL, 2024)