Minimizing Datalog Programs Under Uniform Equivalence

Previous slide Next slide Back to first slide View graphic version