From 72699862b942e3b2dd3339d72b82b8086ff263de Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@gmail.com>
Date: Fri, 24 Jan 2025 14:44:54 -0600
Subject: [PATCH 1/2] fanlie23a

---
 krr.bib | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/krr.bib b/krr.bib
index 5233633..dc87150 100644
--- a/krr.bib
+++ b/krr.bib
@@ -26495,3 +26495,12 @@ @inproceedings{zlapop90
   pages = {259-271},
   year = {1990}
 }
+
+@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}
+}

From 5c6db1ee4ca18d81dc8522d01daaef6f2ac8215a Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@gmail.com>
Date: Fri, 24 Jan 2025 14:45:19 -0600
Subject: [PATCH 2/2] fanlie23a

---
 krr.bib | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/krr.bib b/krr.bib
index dc87150..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},
@@ -26495,12 +26504,3 @@ @inproceedings{zlapop90
   pages = {259-271},
   year = {1990}
 }
-
-@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}
-}