Effectively Monadic Predicates.

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

Browse the full LPAR paper archive.