Ulrich Kühler

How to Prove Inductive Theorems? QUODLIBET!

Claus-Peter Wirth, Jürgen Avenhaus, Ulrich Kühler, 2003, CADE.

A tactic-based inductive theorem prover for data types with partial operations

Ulrich Kühler, 2000, DISKI.

Maintenance Activities in Software Process Models: Theory and Case Study Practice

Rainer Gimnich, Johannes Pellenz, Ulrich Kühler, 2004 .

Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving

Claus-Peter Wirth, Ulrich Kühler, 1997, RTA.

Constructor-Based Inductive Validity in Positive/Negative-Conditional Equational Specifications

Bernhard Gramlich, Claus-Peter Wirth, Ulrich Kühler, 1993 .

Inductive theorem proving in theories specified by positive/negative-conditional equations

Claus-Peter Wirth, Ulrich Kühler, Claus-Peter Wirth, 1999 .