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]
|