Quantification in non-deterministic multi-valued structures | IEEE Conference Publication | IEEE Xplore