Benet Devereux Strong next-time operators for multiple-valued mu-calculus. 40-43 2002 conf/fics/2002 FICS db/conf/fics/fics2002.html#Devereux02