Hybrid Parallel Execution Model for Logic-Based Specification Languages by Jeffrey J. Tsai, Bing Li | Lex | Lex