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} +} +