Merging in the Horn Fragment (bibtex)
by Adrian Haret, Stefan Rümmele, Stefan Woltran
Reference:
Merging in the Horn FragmentAdrian Haret, Stefan Rümmele, Stefan WoltranACM Trans. Comput. Log., volume 18, number 1, pages 6:1–6:32, 2017.
Bibtex Entry:
@article{DBLP:journals/tocl/HaretRW17,
    author    = {Adrian Haret and
    Stefan R{\"{u}}mmele and
    Stefan Woltran},
    title     = {Merging in the Horn Fragment},
    journal   = {{ACM} Trans. Comput. Log.},
    volume    = {18},
    number    = {1},
    pages     = {6:1--6:32},
    year      = {2017},
    url       = {http://doi.acm.org/10.1145/3043700},
    doi       = {10.1145/3043700},
    timestamp = {Thu, 20 Apr 2017 18:00:17 +0200},
    biburl    = {https://dblp.org/rec/bib/journals/tocl/HaretRW17},
    bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser