"A linear space algorithm for computing the herite normal form."

Daniele Micciancio, Bogdan Warinschi (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics