J. Randall Brown: Preventing redundant solutions in partial enumeration algorithms. Math. Program. 16(1): 177-189 (1979)