On Criteria for Or-Parallel Execution Models of Logic Programs