A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Hammer, P. L.
View the document Hammer, P. L. (E. Boros, Y. Crama and P. L. Hammer) -- Polynomial-time inference of all valid implications for Horn and related formulae - 1990