"Unification and Logarithmic Space."

Clément Aubert, Marc Bagnol (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics