ByNobleID
    Learning Conjunctions of Horn Clauses (Extended Abstract) | NobleID