Hybrid Parallel Execution Model For Logic-based Specification Languages Li Bing Innbundet / 2001 / Engelsk
