Theorie der logischen Programmierung Eine elementare Einführung Schmitt Peter H. Heftet / 1992 / Tysk
Nonmonotonic and Inductive Logic 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings Jantke Klaus P. Heftet / 1991 / Engelsk
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino Beckert Bernhard Heftet / 2007 / Engelsk
Nonmonotonic and Inductive Logic Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings Brewka, Gerhard Heftet / 1993 / Engelsk
