1. Bender, M.A., Fekete, S.P., Kröller, A., Mitchell, J.S.B., Liberatore, V., Polishchuk, V., Suomela, J.: The minimum-backlog problem. In: Proceedings of the International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2007), pp. 1–18 (2007)
2. Lecture Notes in Computer Science;M.H.L. Bodlaender,2011
3. Lecture Notes in Computer Science;M. Chrobak,2001
4. Dietz, P.F., Sleator, D.D.: Two algorithms for maintaining order in a list. In: Proceedings of the 19th Annual ACM Symposium on Theory of Computing (STOC 1987), pp. 365–372 (1987)
5. Dutertre, B., de Moura, L.: Yices – A high-performance SMT solver. Downloadable from
http://yices.csl.sri.com