On the Tractability of Minimal Model Computation for some CNF Theories