Publikation
Using Resolution and Paramodulation for Induction Proofs
Dieter Hutter
In: C.-R. Rollinger; W. Horn (Hrsg.). Proceedings 10th German Workshop on Artifical Intelligence. German Workshop on Artifical Intelligence (GWAI-86), September 22-26, Ottenstein, Austria, Pages 265-276, Springer Verlag, IFB 124, 1986.