P. Van Hentenryck et al. "Search and Strategies in OPL"

[ACM] (2000) ACM Transactions on Computational Logic, 1(2), October 2000  

Languages mentioned OPL {1998}