Synthesis of local search algorithms by algebraic means. - Robert P. Graham Jr.; Paul D. Bailor (KBSE, 1996)