Stav dette: Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li.