• The Potassco Guide contains a complete (informal) language description with many examples.
  • The Abstract Gringo paper formally defines syntax and semantics of a large subset of the gringo language.
  • The ASP-Core-2 standard, a subset of the language of gringo.