Hybrid parallel execution model for logic-based specification languages - Tsai, Jeffrey J. P.; Li, Bing (Singapore : ICP, 2000)
57