by Adrian Haret, Stefan Rümmele, Stefan Woltran
Reference:
Merging in the Horn FragmentAdrian Haret, Stefan Rümmele, Stefan WoltranProceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 3041–3047, 2015.
Bibtex Entry:
@inproceedings{DBLP:conf/ijcai/HaretRW15,
author = {Adrian Haret and
Stefan R{\"{u}}mmele and
Stefan Woltran},
title = {Merging in the Horn Fragment},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3041--3047},
year = {2015},
crossref = {DBLP:conf/ijcai/2015},
url = {http://ijcai.org/Abstract/15/429},
timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/HaretRW15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}