Sequentiality and strong stability, in (1991)

by A Bucciarelli, T Ehrhard
Venue:Sixth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer