Interpolative Reasoning with Default Rules

Open in new window