Abstract
This note has been composed in response to Bruno Buchberger's invitation to the program committee of Eurocal '85 (and others), to provide a short paper on this topic.

This publication has 0 references indexed in Scilit: