Finiteness analysis (1991)

by N C K Holst
Venue:FPCA, (Lecture Notes in Computer Science