The Undecidability of Two Completeness Notions for the "Negation as Failure".

Howard A. Blair

Browse the full ICLP paper archive.