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