Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}.

Beata Konikowska Wojciech Penczek Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. 226-239 2002 conf/concur/2002 CONCUR http://link.springer.de/link/service/series/0558/bibs/2421/24210226.htm db/conf/concur/concur2002.html#KonikowskaP02