]> Repositorios git - scryer-prolog.git/commitdiff
link to newly available paper about Grants4Companies
authorMarkus Triska <[email protected]>
Wed, 3 Jul 2024 20:31:53 +0000 (22:31 +0200)
committerMarkus Triska <[email protected]>
Wed, 3 Jul 2024 20:33:56 +0000 (22:33 +0200)
README.md

index 190c6164993b2721a7e6a47807e0d0b99a36f7b0..10661a5c62d425541281cf6212b0ba14c5342395 100644 (file)
--- a/README.md
+++ b/README.md
@@ -808,9 +808,9 @@ standards&nbsp;compliance and warranty.
 
 Successful existing applications of Scryer Prolog include the
 [DocLog](https://github.com/aarroyoc/doclog)&nbsp;system which
-generates Scryer's own documentation and homepage, [Symbolic
-Analysis of Grants](https://www.brz.gv.at/en/BRZ-Tech-Blog/Tech-Blog-7-Symbolic-Analysis-of-Grants.html)
-by the Austrian Federal Computing Center, and parts of the
+generates Scryer's own documentation and homepage, [reasoning
+about business&nbsp;grants](https://arxiv.org/abs/2406.15293)
+in the Austrian public&nbsp;administration, and parts of the
 [precautionary](https://github.com/dcnorris/precautionary/tree/main/exec/prolog)
 package for the analysis of dose-escalation trials in the
 safety-critical and highly regulated domain of oncology