Akademik

图归约机
_
graph reduction machine

Наука. 2013.