Multi-Valued Model Checking via Groebner Basis Approach | IEEE Conference Publication | IEEE Xplore