3 works on record
Aussagenlogik: Deduktion und Algorithmen
Propositional logic
Erfüllbarkeitsalgorihmen und die Problematik ihrer Realisierung in einem System zur Logikverarbeitung