A basic Problem in the theory of programming languages. - Buchberger, Bruno (Institut für Numerische Mathematik und Elektronische Informationsverarbeitung. Bericht, 1972)