Implementing the Meta-Theory of Deductive Systems. - Frank Pfenning; Ekkehard Rohwedder (CADE, 1992)

Mode and Termination Checking for Higher-Order Logic Programs. - Ekkehard Rohwedder; Frank Pfenning (ESOP, 1996)