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

by Martin Muller, Joachim Niehren, Andreas Podelski
Venue:In Proceedings of the Seventh International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97