update

krr-up · Dec 6, 2024 · ea4c19e · ea4c19e
1 parent 8b205f9
commit ea4c19e
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/krr.bib b/krr.bib
@@ -9828,6 +9828,14 @@ @inproceedings{fanlif23a
   crossref = {jelia23}
 }
 
+@inproceedings{fanlif24a,
+  title = {Deductive Systems for Logic Programs with Counting: Preliminary Report},
+  author = {J. Fandinno and V. Lifschitz},
+  crossref = {lpnmr24},
+  pages = {1-14},
+  year = {2024}
+}
+
 @article{fanmic08a,
   title = {Boosting {SAT} Solver Performance via a New Hybrid Approach},
   author = {L. Fang and M. Hsiao},