Monadic Decomposition.

Margus Veanes, Nikolaj S. Bjrner, Lev Nachmanson, Sergey Bereg

Browse the full CAV paper archive.