%0 Conference Paper %1 conf/jelia/Marques-SilvaIM16 %A Marques-Silva, João %A Ignatiev, Alexey %A Mencía, Carlos %A Peñaloza, Rafael %B JELIA %D 2016 %E Michael, Loizos %E Kakas, Antonis C. %K dblp %P 336-352 %T Efficient Reasoning for Inconsistent Horn Formulae. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2016.html#Marques-SilvaIM16 %V 10021 %@ 978-3-319-48757-1

@inproceedings{conf/jelia/Marques-SilvaIM16, added-at = {2020-02-24T00:00:00.000+0100}, author = {Marques-Silva, João and Ignatiev, Alexey and Mencía, Carlos and Peñaloza, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/2c3d0d9725066c88f1f71e43a6071eac4/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2016}, editor = {Michael, Loizos and Kakas, Antonis C.}, ee = {https://doi.org/10.1007/978-3-319-48758-8_22}, interhash = {97b31da4c4520be42751a70180f1f452}, intrahash = {c3d0d9725066c88f1f71e43a6071eac4}, isbn = {978-3-319-48757-1}, keywords = {dblp}, pages = {336-352}, series = {Lecture Notes in Computer Science}, timestamp = {2020-02-25T14:25:45.000+0100}, title = {Efficient Reasoning for Inconsistent Horn Formulae.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2016.html#Marques-SilvaIM16}, volume = 10021, year = 2016 }