Mark Wallace Tight, Consistent and Computable Completions for Unrestricted Logic Programs. 243-273 1993 15 J. Log. Program. 3 db/journals/jlp/jlp15.html#Wallace93