Hentenryck and Thierry Le Provost, Incremental search in contraint logic programming, New Generation Computing 9 (1991)

by Pascal Van
Venue:New Generation Computing