Gentzen-style Characterizations of Negation as Failure.

Jan A. Plaza

Browse the full AISC paper archive.