Без заголовка

Да, это очень свеженькое -- 2007г. Но обратите внимание, например, на список литературы в http://www.csee.ltu.se/~pj/papers/scp/ifl07-scp.pdf -- там большинство работ до 1997г., затем все замирает, и продолжается уже в 2007г.. Удивительно.