Monika Rauch Henzinger and Valerie King Proc. 36th Symp. Foundations of Computer Science, IEEE, 1995, pp. 664–672
Cites: