High-level nondeterministic abstractions in (2006)

by Laurent Michel, Andrew See, Pascal Van Hentenryck
Venue:Pages 359–374 of: Benhamou, Frédéric (ed), Cp. Lecture Notes in Computer Science