Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
From MaRDI portal
Publication:5431418
DOI10.1017/S1471068407003031zbMath1132.68323MaRDI QIDQ5431418
Emilia Oikarinen, Tomi Janhunen
Publication date: 10 December 2007
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items (2)
Applying Visible Strong Equivalence in Answer-Set Program Transformations ⋮ Removing Redundancy from Answer Set Programs
Uses Software
Cites Work
This page was built for publication: Automated Verification of Weak Equivalence within the<scp>smodels</scp>System