Entailment for Set Constraints is not Feasible (1997)

by M Muller, J Niehren
Venue:Programming Systems Lab, Universitat des Saarlandes