Ekkehard Rohwedder

Mode and termination analysis for higher-order logic programs

Frank Pfenning, Ekkehard Rohwedder, F. Pfenning, 1996 .

Implementing the Meta-Theory of Deductive Systems

Frank Pfenning, Ekkehard Rohwedder, F. Pfenning, 1992, CADE.

Mode and Termination Checking for Higher-Order Logic Programs

Frank Pfenning, Ekkehard Rohwedder, F. Pfenning, 1996, ESOP.