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

arXiv: https://arxiv.org/abs/2302.04664 · HTML: https://mlsanity.com/paper/2302.04664/

## 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.

## Abstract (arXiv)

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