Deductive Inference for the Interiors and Exteriors of Horn Theories

Open in new window