Just added some literature on grounding (related to the course material)

  • M. Gebser, R. Kaminski, and T. Schaub (2012). “Grounding Recursive Aggregates: Preliminary Report”. In: Proceedings of the Third Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV’15). Ed. by M. Denecker and T. Janhunen. pdf
  • S. Abiteboul, R. Hull, and V. Vianu (1995). Foundations of Databases. Addison-Wesley. web