Hiromi Hiraishi Shintaro Meki Kiyoharu Hamaguchi Vectorized Model Checking for Computation Tree Logic. 44-53 1990 conf/cav/1990 CAV db/conf/cav/cav1990.html#HiraishiMH90 http://dx.doi.org/10.1007/BFb0023718