Generic Inference : a Unifying Theory for Automated Reasoning - Pouly, Marc, 1980- (Wiley, 2011)