Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs.

Yuliya Lierler

Browse the full PADL paper archive.