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

Xinxin Liu, Scott A. Smolka

Browse the full ICALP paper archive.