Protected Completions of First-Order General Logic Programs.

James J. Lu V. S. Subrahmanian Protected Completions of First-Order General Logic Programs. 147-172 1990 6 J. Autom. Reasoning 2 db/journals/jar/jar6.html#LuS90