by Ageev, A.A., Fishkin, A.V., Kononov, A.V., Sevastyanov, S.V.
Published in Theoretical computer science (01.09.2006)