add gnad-et-al-zenodo2023, add page numbers

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)",