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

Open in new window