Howard A. Blair Canoncical Conservative Extensions of Logic Program Completions. 154-161 1987 SLP db/conf/slp/slp87.html#Blair87