The LaTeX source code can be found at:
- https://github.com/potassco-asp-course/exercises/tree/main/introduction
- https://github.com/potassco-asp-course/exercises/tree/main/language
- https://github.com/potassco-asp-course/exercises/tree/main/grounding
- https://github.com/potassco-asp-course/exercises/tree/main/computation
- https://github.com/potassco-asp-course/exercises/tree/main/axiomatic-characterization
- https://github.com/potassco-asp-course/exercises/tree/main/operational-characterization
- https://github.com/potassco-asp-course/exercises/tree/main/solving