Regular Tree Relations by Alexander Lochmann π§, Bertram Felgenhauer, Christian Sternagel π, RenΓ© Thiemann π and Thomas Sternagel Dec 15
The Z Property by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel π§ Jun 30