Title: Hybrid Parallel Execution Model for Logic-Based Specification Languages
Subjects: System design