From fcaf435c488722dff518179ee2afb2f222698d47 Mon Sep 17 00:00:00 2001
From: Jorge Fandinno <jorgefandinno@gmail.com>
Date: Fri, 17 Apr 2026 14:28:09 -0500
Subject: [PATCH] lin02

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

diff --git a/krr.bib b/krr.bib
index c0b027b..356d580 100644
--- a/krr.bib
+++ b/krr.bib
@@ -17741,6 +17741,13 @@ @incollection{limopl08a
   pages = {3-88}
 }
 
+@inproceedings{lin02a,
+  title = {Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic},
+  author = {F. Lin},
+  crossref = {kr02},
+  pages = {170-176}
+}
+
 @inproceedings{lin04a,
   title = {Discovering State Invariants},
   author = {F. Lin},