Xinxin Liu C. R. Ramakrishnan Scott A. Smolka Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). 5-19 http://link.springer.de/link/service/series/0558/bibs/1384/13840005.htm 1998 conf/tacas/1998 TACAS db/conf/tacas/tacas98.html#LiuRS98