renamed entry

literature.bib

@@ -369,16 +369,6 @@ @mastersthesis{Guething23
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2024 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-@inproceedings{FK:POS24,
-	title       = {{Life Span of SAT Techniques}},
-	author      = {Mathias Fleury and Daniela Kaufmann},
-	booktitle   = POS,
-	institution = arXiv,
-	doi         = {10.48550/arXiv.2402.01202},
-	year        = 2024,
-	ek-tags     = {satisfiability, preprocessing}
-}
-
 @article{YOLG:FSE24,
 	author = {Y\i{}ld\i{}ran, Necip Faz\i{}l and Oh, Jeho and Lawall, Julia and Gazzillo, Paul},
 	title = {{Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times}},
@@ -624,6 +614,15 @@ @inproceedings{ISI:POS23
 	ek-tags   = {satisfiability, structure}
 }
 
+@inproceedings{FK:POS23,
+	missing   = NoPages,
+	title     = {{Life Span of SAT Techniques}},
+	author    = {Mathias Fleury and Daniela Kaufmann},
+	booktitle = POS,
+	year      = 2023,
+	ek-tags   = {satisfiability, preprocessing}
+}
+
 @techreport{KJ:TR23,
 	title = {{SharpSAT-TD in Model Counting Competitions 2021-2023}},
 	author = {Tuukka Korhonen and Matti Järvisalo},
@@ -5675,15 +5674,17 @@ @inproceedings{KKL:VaMoS18
 	isbn = {9781450353984},
 }
 
-@article{SNP:CoRR18,
-	missing = NoDOI,
-	author = {Mat{\'{u}}s Sul{\'{\i}}r and Milan Nos{\'{a}}l and Jaroslav Porub{\"{a}}n},
-	title = {{Recording Concerns in Source Code Using Annotations}},
-	journal = CoRR,
-	volume = {abs/1808.03576},
-	year = 2018,
-	url = {http://arxiv.org/abs/1808.03576},
-	pb-tags = {feature traceability}
+@article{SNP:COLA18,
+	renamedfrom = {SNP:CoRR18},
+	author      = {Mat{\'{u}}s Sul{\'{\i}}r and Milan Nos{\'{a}}l and Jaroslav Porub{\"{a}}n},
+	title       = {{Recording Concerns in Source Code Using Annotations}},
+	journal     = COLA,
+	volume      = 46,
+	pages       = {44--65},
+	year        = 2016,
+	issn        = {1477-8424},
+	doi         = {10.1016/j.cl.2016.07.003},
+	pb-tags     = {feature traceability}
 }
 
 @article{JSR+:CoRR18,