TY  - RPRT
TI  - Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
AU  - Yuliya Lierler
PY  - 2021
UR  - https://arxiv.org/abs/1901.09127
ID  - 1901.09127
ER  -