%0 Journal Article %1 journals/corr/abs-2302-04664 %A Antic, Christian %D 2023 %J CoRR %K dblp %T Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs. %U http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-04664 %V abs/2302.04664

@article{journals/corr/abs-2302-04664, added-at = {2023-02-13T00:00:00.000+0100}, author = {Antic, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2d5fc9d28ff5032356189fcb6f7ad240b/dblp}, ee = {https://doi.org/10.48550/arXiv.2302.04664}, interhash = {e898eea5920a21b116bfc11d6b853817}, intrahash = {d5fc9d28ff5032356189fcb6f7ad240b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:03:42.000+0200}, title = {Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2302.html#abs-2302-04664}, volume = {abs/2302.04664}, year = 2023 }