Scaling Relational Inference Using Proofs and Refutations

Open in new window