Takumi Kasai Akeo Adachi Shigeki Iwata Classes of Pebble Games and Complete Problems. 574-586 1979 8 SIAM J. Comput. 4 db/journals/siamcomp/siamcomp8.html#KasaiAI79