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 Crama, Y.
View the document Crama, Y. (E. Boros, Y. Crama and P. L. Hammer) -- Polynomial-time inference of all valid implications for Horn and related formulae - 1990