Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs

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