Disjunctive strictness analysis (1992)

by T Jensen
Venue:In Seventh Annual IEEE Symposium on Logic in Computer Science