Ideal Downward Refinement in the

Jens Lehmann, Christoph Haase

Browse the full ILP paper archive.