Logic and complexity - Lassaigne, Richard; Rougemont, Michel de (Discrete mathematics and theoretical computer science, 2004)