Model-Cheching Memory Requirements Of Resource-Bounded Reasoners