Return to Article Details Variable Forgetting in Reasoning about Knowledge Download Download PDF