Generic Inference: A Unifying Theory for Automated Reasoning by Marc Pouly Back to product details page >