add bachelor thesis to readme

janheuer · Jun 28, 2023 · d4f6813 · d4f6813
1 parent 4644d1e
commit d4f6813
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -7,6 +7,8 @@
 `anthem` translates ASP programs (in the input language of [`clingo`](https://github.com/potassco/clingo)) to the first-order logic. 
 The output can be formatted in either a human-readable format or the TPTP format for usage with automated theorem provers such as [`vampire`](https://github.com/vprover/vampire) or [`cvc4`](https://github.com/CVC4/CVC4).
 
+For details see Jan Heuer's [Bachelor Thesis](https://github.com/janheuer/anthem/files/11896360/thesis.pdf).
+
 ## Usage
 
 ```bash