Semantical Characterizations and Complexity of Equivalences in Answer Set Programming (2007)

by Thomas Eiter , Michael Fink , Stefan Woltran
Venue:ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Citations:27 - 11 self