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 |