Computing stable models in parallel