From d6579195eb385e272763d93ad10386112e8b3f68 Mon Sep 17 00:00:00 2001
From: Silvan Sievers <silvan.sievers@unibas.ch>
Date: Wed, 18 Oct 2023 09:22:16 +0200
Subject: [PATCH] add gnad-et-al-zenodo2023, add page numbers

---
 literatur.bib | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/literatur.bib b/literatur.bib
index 17bcf7c..bac871e 100644
--- a/literatur.bib
+++ b/literatur.bib
@@ -6362,11 +6362,11 @@ @InProceedings{gnad-et-al-icaps2023a
   pages =        "148--152"
 }
 
-% TODO (Silvan) add page numbers
 @InProceedings{gnad-et-al-icaps2023b,
   author =       "Daniel Gnad and Silvan Sievers and {\'A}lvaro Torralba",
   title =        "Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases",
   crossref =     "icaps2023",
+  pages =        "138--147"
 }
 
 @InProceedings{gnad-et-al-ijcai2016,
@@ -6419,6 +6419,14 @@ @InProceedings{gnad-et-al-socs2017
   crossref =     "socs2017",
 }
 
+@Misc{gnad-et-al-zenodo2023,
+  author =       "Daniel Gnad and Silvan Sievers and {\'A}lvaro Torralba",
+  title =        "Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases -- Supplementary Material",
+  publisher =    "Zenodo",
+  year =         "2023",
+  howpublished = "\url{https://doi.org/10.5281/zenodo.7741805}"
+}
+
 @TechReport{gnad-et-al-tr2016,
   author =       "Daniel Gnad and Martin Wehrle and J{\"o}rg Hoffmann",
   title =        "Decoupled Strong Stubborn Sets (Technical Report)",