Finite set constraints in Oz (1997)

by Lagoon Hawkins, Stuckey Müller, T, M Müller
Venue:Technische Universität München