Технические наукиGeneric Inference. A Unifying Theory for Automated ReasoningKohlas Juerg, Pouly Marc