Polynomial-Time Inference of All Valid Implications for Horn and Related Formulae.评价结果

评估详情

6