Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
Not on the map. Why?
Abstract (arXiv)
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 0 of its 5 references that are in the map. First posted on arXiv 20 Jan 2023.
Builds on
0 of 5 references.
No references here yet.
Built on by
Not cited yet.