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

by M Müller, J Niehren, A Podelski
Venue:In Theory and Practice of Software Development., volume 1214 of LNCS