Computer Science – Theory and Applications - Hirsch, Edward A.; Razborov, Alexander A.; Semenov, Alexei; Slissenko, Anatol; Razborov, Alexander (Springer Berlin Heidelberg, 2008)