Diem-Grade Logischer Entscheidungsprobleme. - Egon Börger; Klaus Heidler (Arch. Math. Log., 1975)

Virtuelle Methoden mit Lauftabellen. - Klaus Heidler (LOG IN, 1996)