"A Realization Algorithm for SL2(R[x1, ..."

Hyungju Park (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics