Inclusion constraints over non-empty sets of trees. (1997)

by M Muller, J Niehren, A Podelski
Venue:Proceedings of the Theory and Practice of Software Development,