Automatic Making of Sokoban Problems. - Yoshio Murase; Hitoshi Matsubara; Yuzuru Hiraga (PRICAI, 1996)