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

Yuliya Lierler. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs. TPLP, 22(3):335-366, 2022. [doi]

Abstract

Abstract is missing.