more

KWARC · Aug 2, 2024 · 933a235 · 933a235
1 parent 9b5289c
commit 933a235
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/kwarcpubs.bib b/kwarcpubs.bib
@@ -48,8 +48,7 @@ @unpublished{KohSch:rlotm24
  author = {Michael Kohlhase and Marcel Sch{\"u}tz},
  year = {2024},
  crossref = {CICM24},
- url = {https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf},
- SOONurl = {https://url.mathhub.info/relocalization/},
+ url = {https://url.mathhub.info/relocalization/},
  pubs = {mkohlhase,mschuetz,voll-ki} 
 }