Πολυπλοκότητα αποδείξεων προτασιακού λογισμού= propositional proof complexity - Σουλδάτος, Γιάννης ([χ.ό.], 2002)