On solution correspondences in answer set programming (2005)

by T Eiter, H Tompits, S Woltran
Venue:In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005