%0 Journal Article
%A Schmidt-Schauss, Manfred
%A Sabel, David
%A Schütz, Marko
%T Deciding inclusion of set constants over infinite non-strict data structures
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2007
%P 225-241
%V 41
%N 2
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita:2007010/
%R 10.1051/ita:2007010
%G en
%F ITA_2007__41_2_225_0