👤 Kohlas Juerg

Generic Inference. A Unifying Theory for Automated Reasoning Kohlas Juerg