Lee Naish Automating Control for Logic Programs. 167-183 1985 2 J. Log. Program. 3 db/journals/jlp/jlp2.html#Naish85