Reasoning with infinite stable models.