Monika Rauch Henzinger and Valerie King J. ACM 46(4):502–516, Jul 1999 Proc. 27th Symp. Theory of Computing, ACM, May 1995, pp. 519–527
Cites: