Tractable Reasoning in Artificial Intelligence