TY  - RPRT
TI  - Automated verification of weak equivalence within the SMODELS system
AU  - Tomi Janhunen
AU  - Emilia Oikarinen
PY  - 2006
UR  - https://arxiv.org/abs/cs/0608099
ID  - cs/0608099
ER  -