Books — automated reasoning