Van Tu Le General Failure of Logic Programs. 157-165 1985 2 J. Log. Program. 2 db/journals/jlp/jlp2.html#Le85