http://users.dimi.uniud.it/~franco.blanchini/SetTheoCon.htm
