"Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract)."

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