Efficient analysis of cyclic definitions (1999)

by K Namjoshi, R Kurshan
Venue:Conference on Computer Aided Verification (CAV), volume 1633 of LNCS