diff --git a/publications.bib b/publications.bib
index c7b62d94e071f41232a8b178894f6c8c0de13a82..7718fd3ec4ad7a97f23422a87890532c1d17cd0a 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1704,8 +1704,6 @@ testing, and automatic compositional testing based on bi-abduction.},
   editor =     {Alastair F. Donaldson},
   publisher =  {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   address =    {Dagstuhl, Germany},
-  URL =        {http://drops.dagstuhl.de/opus/volltexte/2019/10801},
-  URN =        {urn:nbn:de:0030-drops-108011},
   doi =        {10.4230/LIPIcs.ECOOP.2019.9},
   abstract = { We introduce Wasm Logic, a sound program logic for first-order, encapsulated WebAssembly. We
 design a novel assertion syntax, tailored to WebAssembly’s stack-based semantics and the strong