Julian Nagele

First-Order Rewriting

by René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler and Akihisa Yamada

The Z Property

by Bertram Felgenhauer, Julian Nagele, Vincent van Oostrom and Christian Sternagel