Subtype inequalities (1992)

by J Tiuryn
Venue:In Proc. 7th Annual IEEE Symp. on Logic in Computer Science (LICS