From 514097ce560bbed1688ab8bf36113c84225195fc Mon Sep 17 00:00:00 2001
From: Andreas Stadelmeier <andi@paulus.haus>
Date: Mon, 1 Jul 2024 12:38:02 +0200
Subject: [PATCH] Bib

---
 martin.bib | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/martin.bib b/martin.bib
index e5d6685..9df1328 100755
--- a/martin.bib
+++ b/martin.bib
@@ -5675,3 +5675,24 @@ Internet
   OPTannote = 	 {}
 }
 
+@article{kaufmann2016grounding,
+  title={Grounding and solving in answer set programming},
+  author={Kaufmann, Benjamin and Leone, Nicola and Perri, Simona and Schaub, Torsten},
+  journal={AI magazine},
+  volume={37},
+  number={3},
+  pages={25--32},
+  year={2016}
+}
+
+@article{javaTuringComplete,
+  title={Java generics are turing complete},
+  author={Grigore, Radu},
+  journal={ACM SIGPLAN Notices},
+  volume={52},
+  number={1},
+  pages={73--85},
+  year={2017},
+  publisher={ACM New York, NY, USA}
+}
+