Replacements in non-ground answer-set programming (2006)

by T Eiter, M Fink, H Tompits, P Traxler, S Woltran
Venue:In Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006