Martin C. Cooper An Optimal k-Consistency Algorithm. 89-95 1989 41 Artif. Intell. 1 db/journals/ai/ai41.html#Cooper89