Strong Equivalence and Program's Structure in Arguing Essential Equivalence between Logic Programs

Open in new window