Deciding inclusion of set constants over infinite non-strict data structuresManfred Schmidt-Schauss, David Sabel and Marko SchützRAIRO-Theor. Inf. Appl., 41 2 (2007) 225-241DOI: https://doi.org/10.1051/ita:2007010
