"Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended ..."

Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics