"Efficient Analysis of Cyclic Definitions."

Kedar S. Namjoshi, Robert P. Kurshan (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics