Enumerating Minimal Hypotheses and Dualizing Monotone Boolean Functions on Lattices.

Mikhail A. Babin, Sergei O. Kuznetsov

Browse the full ICFCA paper archive.