Instantiation reversal for polynomials - Luckmann, Manfred; Steinbrüggen, Ralf (1977)