We thank Armin Biere for the permission of using the lingeling SAT solver 
in the ASP COMP 2014. See http://fmv.jku.at/lingeling for more details.



