Generic Inference by Marc Pouly & Juerg Kohlas