Hybrid parallel execution model for logic-based specification languages - Tsai, Jeffrey J.-P. (Series on software engineering and knowledge engineering ;)