Generic Inference. A Unifying Theory for Automated Reasoning
Generic Inference. A Unifying Theor...