Wallace. Tight, Consistent, and Computable Completions for Unrestricted Logic Programs. Elsevier BV, 1993, doi:10.1016/0743-1066(93)90041-e.