We thank the Potassco team for the permission of using the clasp ASP solver 
in the ASP COMP 2014. See http://potassco.sourceforge.net/ for details
and the source code of clasp.
