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