Handbook of automated reasoning / ed. Alan Robinson and Andrei Voronkov