Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
arXiv:2302.04664
Abstract
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.