Towards Parallel Nonmonotonic Reasoning with Billions of Facts

Open in new window