Ordering constraints over feature trees (2000)

by M Muller, J Niehren, A Podelski
Venue:Constraints