@misc{indiciaecd40f20adcc7,
  title = {Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs},
  author = {Christian Antić},
  year = {2023},
  url = {https://arxiv.org/abs/2302.04664},
  note = {Source identifier: 2302.04664}
}