Hybrid Parallel Execution Model For Logic-Based Specification Languages by Jeffrey J.P. Tsai & Bing Li