Efficient Reasoning for Inconsistent Horn Formulae | Publicación