diff --git a/literatur.bib b/literatur.bib
index 20ee947..2644f13 100644
--- a/literatur.bib
+++ b/literatur.bib
@@ -104,7 +104,7 @@ @InProceedings{abdulaziz-et-al-itp2015
 
 @InProceedings{abdulaziz-kurz-aaai2023,
   author =       "Mohammad Abdulaziz and Friedrich Kurz",
-  title =        "Formally Verified SAT-Based AI Planning",
+  title =        "Formally Verified {SAT}-Based {AI} Planning",
   crossref =     "aaai2023",
   pages =        "15073--15081"
 }