Towards intelligent inductive proof engineering - Gramlich, Bernhard (Universität <Kaiserslautern>, 1992)