TY  - RPRT
TI  - Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
AU  - Jan Heuer
PY  - 2025
UR  - https://arxiv.org/abs/2310.19806
ID  - 2310.19806
ER  -