On the Relations between Stable and Well-Founded Semantics of Logic Programs

Phan Minh Dung. On the Relations between Stable and Well-Founded Semantics of Logic Programs. Theoretical Computer Science, 105(1):7-25, 1992.

Abstract

Abstract is missing.