Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion.

Sophie Renault

Browse the full LOPSTR paper archive.