Joachim Niehren, 
   Martin Müller and 
   Andreas Podelski. Inclusion Constraints over Non-Empty Sets of Trees.  In 
   M. Bidoit and 
   M. Dauchet editors,  7th International Joint Conference CAAP/ FASE. Theory and Practice of Software Development (TAPSOFT '97), April 14-18, (1214):217-231, Springer, Lille, France,   1997.   [Abstract]      google  [Annote]
     |