A Theory of Complete Logic Programs with Equality.

Joxan Jaffar Jean-Louis Lassez Michael J. Maher A Theory of Complete Logic Programs with Equality. 175-184 1984 FGCS db/conf/fgcs/fgcs84.html#JaffarLM84