Mechanizing Inductive Theorem Proving in Conditional Theories / Ulrich Fraus. Düsseldorf : VDI-Verl., 1995