Inductive theorem proving using refined unfailing completion techniques - Gramlich, Bernhard (Seki-Report, 1989)