6 works on record
Prolog
Aussagenlogik: Deduktion und Algorithmen
Computer Science Logic
CSL '87
Propositional logic
Theory and Applications of Satisfiability Testing - SAT 2008
2008