Polynomial-time inference of all valid implications for Horn and related formulae


Authored By:E. Boros, Y. Crama and P. L. Hammer
Paper Title:Polynomial-time inference of all valid implications for Horn and related formulae
In:Annals of Mathematics and Artificial Intelligence
Vol. 1
Publication Date: 1990
Pages:21-32