Takumi Kasai Akeo Adachi On polynominal time computable problems. 152-158 1980 conf/gta/1980 Graph Theory and Algorithms db/conf/gta/gta1980.html#KasaiA80