T. Eiter, E. Erdem, H. Erdogan, M. Fink:
"Finding Similar/Diverse Solutions in Answer Set Programming";
Report for CoRR - Computing Research Repository; Report No. arXiv:1108.3260v1, 2011; 58 pages.
http://publik.tuwien.ac.at/files/PubDat_202369.pdf