Lifted Inference Rules with Constraints

Open in new window