Publication

Using Resolution and Paramodulation for Induction Proofs

Dieter Hutter

In: C.-R. Rollinger, W. Horn (editor). 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.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz