Inference with Relational Theories over Infinite Domains

Open in new window