"More canonical forms and dense free subsets."

Heike Mildenberger (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics