Tractable Reasoning In Artificial Intelligence door Marco Cadoli