Inclusion Constraints over Non-empty Sets of Trees (1997)

by Martin Müller, Joachim Niehren, Andreas Podelski