Implicit Induction in Conditional Theories

Adel Bouhoula, Michaƫl Rusinowitch. Implicit Induction in Conditional Theories. Journal of Automated Reasoning, 14(2):189-235, 1995.

Abstract

Abstract is missing.