diff --git a/krr.bib b/krr.bib
index 5233633..9240ed9 100644
--- a/krr.bib
+++ b/krr.bib
@@ -9972,6 +9972,15 @@ @inproceedings{fanhan25a
   year = {2025}
 }
 
+@inproceedings{fanlie23a,
+  title = {Splitting Answer Set Programs with Respect to Intensionality Statements},
+  author = {J. Fandinno and Y. Lierler},
+  crossref = {aaai23},
+  doi = {10.1609/AAAI.V37I5.25780},
+  pages = {6338-6345},
+  year = {2023}
+}
+
 @inproceedings{fanlif23a,
   title = {On {H}euer’s Procedure for Verifying Strong Equivalence},
   author = {J. Fandinno and V. Lifschitz},