From 104e099c380c287e455b0fd2dfd894a3e306e6dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Wed, 24 Jun 2020 16:22:04 +0200
Subject: [PATCH] report: update citation
We use the Extended Report which actually contains example
applications which is exactly what I will do next.
---
doc/report/references.bib | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/report/references.bib b/doc/report/references.bib
index 68d3389..7c96598 100644
--- a/doc/report/references.bib
+++ b/doc/report/references.bib
@@ -81,10 +81,10 @@
}
@online{tetra,
- title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
+ title={Towards a Heterogeneous Query Language for Mathematical Knowledge: Extended Report},
author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
- urldate = {2020-06-16},
- url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
+ urldate = {2020-06-24},
+ url = {https://kwarc.info/people/mkohlhase/papers/tetrasearch.pdf},
}
@book{owl,
--
GitLab