Tractable Reasoning In Artificial Intelligence by Marco Cadoli