Strategies for Meta-logical Reasoning The Simple Chain Consistent with limits on working memory as one can continue a search for solutions without getting bogged down testing multiple conditions at each disjunction.
{}