Checking monotone boolean duality with limited nondeterminism TECHNICAL REPORT No.2003/07/02 - Σταυρόπουλος, Ηλίας Χ.; καββαδίας, Δημήτρης Ι.; Kavvadias Dimitris J.; Stavropoulos Elias C. (CTI, 2003)