Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. B. Buchberger — 1970 Aequationes mathematicae
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. (Short Communication). B. Buchberger — 1970 Aequationes mathematicae
On certain decompositions of Gödel numberings. B. Buchberger — 1974 Archiv für mathematische Logik und Grundlagenforschung