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

翻译：本研究报告给出了命题Krom逻辑程序的最小模型、包容关系及均匀等价的代数刻画。