%0 Journal Article %1 journals/tocl/HaretRW17 %A Haret, Adrian %A Rümmele, Stefan %A Woltran, Stefan %D 2017 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 6:1-6:32 %T Merging in the Horn Fragment. %U http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#HaretRW17 %V 18

@article{journals/tocl/HaretRW17, added-at = {2022-01-08T00:00:00.000+0100}, author = {Haret, Adrian and Rümmele, Stefan and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2b002ed1dead72451564ecb507471f0b6/dblp}, ee = {https://doi.org/10.1145/3043700}, interhash = {1faae000d148d794a143e9cde6a61146}, intrahash = {b002ed1dead72451564ecb507471f0b6}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {6:1-6:32}, timestamp = {2024-04-08T12:38:25.000+0200}, title = {Merging in the Horn Fragment.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#HaretRW17}, volume = 18, year = 2017 }