Context induction: a proof principle for behavioural abstractions (1990)

by Rolf Henniker
Venue:Design and Implementation of Symbolic Computation Systems. Springer-Verlag Lecture Notes in Computer Science 429