Uitgaven door Buchberger, Bruno (Johannes Kepler Universit??t Linz Johannes Kepler Universitat Linz Johannes Kepler Universitat Linz Johannes Kepler Universitat Linz Johannes Kepler Universitat Linz Johannes Kepler Universitat Linz Johannes Kepler Universitat Linz)