Well-Founded Completions of Logic Programs

Teodor C. Przymusinski. Well-Founded Completions of Logic Programs. In ICLP. pages 726-741, 1991.

Abstract

Abstract is missing.