Gringo and Clasp: On the Frontiers of Logic

The real document "A Users's Guide to gringo, clasp, clingo, and iclingo".