S.: On Solution Correspondences in Answer-Set Programming (2005)

by T Eiter, H Tompits, Woltran
Venue:Book Center