An Exercise in Transformational Programming: Backtracking and Branch-and-Bound.

Maarten M. Fokkinga An Exercise in Transformational Programming: Backtracking and Branch-and-Bound. 19-48 1991 16 Sci. Comput. Program. 1 db/journals/scp/scp16.html#Fokkinga91