TY  - RPRT
TI  - External Behavior of a Logic Program and Verification of Refactoring
AU  - Jorge Fandinno
AU  - Zachary Hansen
AU  - Yuliya Lierler
AU  - Vladimir Lifschitz
AU  - Nathan Temple
PY  - 2023
UR  - https://arxiv.org/abs/2305.17485
ID  - 2305.17485
ER  -