PM: A Parallel Execution Model for Backward-Chaining Deductions

Open in new window