We've moved to
http://babel.ls.fi.upm.es/~vpablos/software/negation-in-lp/